4 ms·
A relevant article on large proofs: http://gallium.inria.fr/blog/large-proofs/ http://gallium.inria.fr/blog/large-proofs/
by infruset 10y ago
A relevant article on large proofs: http://gallium.inria.fr/blog/large-proofs/ http://gallium.inria.fr/blog/large-proofs/