Working through Functional Programming in Lean
s
spamegg1-lean
public
1 stars
0 forks
0 issues
Commits
List of commits on branch master.Verified
91561b4c3521f156d1d35881e33bd17c10a9a4badone for now
sspamegg1 committed 2 months ago
Verified
f97e58b588fcadd1bc0c3ddc3b1bc0de4dbdd219finished 10.4 exercises
sspamegg1 committed 2 months ago
Verified
17e6704a550a0bba07a3c26ec7d4c2446175aa08finished 10.4 more inequalities
sspamegg1 committed 2 months ago
Verified
0b95a51cc377d0d397c35305640df574c7fb529bfinish 10.3 arrays and termination
sspamegg1 committed 2 months ago
Verified
5f77e8b75f122a971e0baf4965443a4770c55b25update README
sspamegg1 committed 2 months ago
Verified
f96fcb2e876b985023f010a9581065adf5a7caa7initial commit
sspamegg1 committed 2 months ago