3 ms·Gallina (The programming language used in Coq) -> Theorem proving assistanceby jetti 10y agoGallina (The programming language used in Coq) -> Theorem proving assistance