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

1 Commits

Author SHA1 Message Date
lapinot 958af155c4 Initial PoC for a barebone Coq prelude. 
The goal is to basically do nothing but the strictly necessary
things.
 2024-02-17 18:34:45 +01:00