pranshu/learning-lean-prover
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
2 commits 1 branch 0 tags 27 KiB
Commit graph

1 commit

Author SHA1 Message Date
Pranshu Sharma
bf6c9f7ae2 Work on depdent tuped 
Why no work
 2025-05-22 23:19:29 +10:00