pranshu/learning-lean-prover
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
Learning Lean programming language, it uses dependent types for proving stuff.
2 commits 1 branch 0 tags 27 KiB
Find a file
Exact
Pranshu Sharma bf6c9f7ae2 Work on depdent tuped 
Why no work
2025-05-22 23:19:29 +10:00
dependent-types.lean Work on depdent tuped 2025-05-22 23:19:29 +10:00
intro.lean Main intro file 2025-05-20 21:11:57 +10:00
nat.lean Work on depdent tuped 2025-05-22 23:19:29 +10:00