lapinot
/
coq-barebone
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
coq-barebone/theories
History
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
..
Prim Initial PoC for a barebone Coq prelude. 2024-02-17 18:34:45 +01:00
Prelude.v Initial PoC for a barebone Coq prelude. 2024-02-17 18:34:45 +01:00
dune Initial PoC for a barebone Coq prelude. 2024-02-17 18:34:45 +01:00