3 ms·https://coq.inria.fr/ https://coq.inria.fr/ would be a good choice for proof assistance, I believeby mjoin 6y agohttps://coq.inria.fr/ https://coq.inria.fr/ would be a good choice for proof assistance, I believe