lapinot
/
coq-barebone
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
1 Commit 1 Branch 0 Tags 31 KiB
Coq 100%
Go to file
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
coqlib-fake Initial PoC for a barebone Coq prelude. 2024-02-17 18:34:45 +01:00
theories Initial PoC for a barebone Coq prelude. 2024-02-17 18:34:45 +01:00
COPYING Initial PoC for a barebone Coq prelude. 2024-02-17 18:34:45 +01:00
coq-barebone.opam Initial PoC for a barebone Coq prelude. 2024-02-17 18:34:45 +01:00
dune-project Initial PoC for a barebone Coq prelude. 2024-02-17 18:34:45 +01:00