2 ms·I know Coq exists but that's about it https://coq.inria.fr/ https://coq.inria.fr/by mehrdadn 8y agoI know Coq exists but that's about it https://coq.inria.fr/ https://coq.inria.fr/