4 ms·
What about the coq proof assistant that must have been before this https://coq.inria.fr https://coq.inria.fr
by acd 12y ago
What about the coq proof assistant that must have been before this
https://coq.inria.fr https://coq.inria.fr
loading thread…