Skip to content
GitLab
Explore
Sign in
Sander Suverkropp
Lsharp in Coq
Repository
bachelor-thesis
README.md
Find file
Blame
History
Permalink
add remark about lemma numbers in README
· 8d170f95
ssuverkropp
authored
Aug 30, 2022
8d170f95