Skip to content
GitLab
Explore
Sign in
FP
ghostcell
Repository
ghostcell
README.md
Find file
Blame
History
Permalink
delete Coq code; it moved to lambda-rust
· 1174a416
Ralf Jung
authored
Mar 26, 2021
1174a416