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