lapinot
/
coq-barebone
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
1 Commit 1 Branch 0 Tags 31 KiB

Default Branch

main

958af155c4 · Initial PoC for a barebone Coq prelude. · Updated 2024-02-17 17:34:45 +00:00
 ZIP  TAR.GZ