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

Default branch

main

bf6c9f7ae2 · Work on depdent tuped · Updated 2025-05-22 23:19:29 +10:00
 ZIP  TAR.GZ

Branches