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
..
Prelude.v	Initial PoC for a barebone Coq prelude.	2024-02-17 18:34:45 +01:00