2 ms·
haha they can't get away from it https://github.com/coq/coq/wiki/Alternative-names#gaul https://github.com/coq/coq/wiki/Alternative-names#gaul
by abledon 6y ago
haha they can't get away from it
https://github.com/coq/coq/wiki/Alternative-names#gaul https://github.com/coq/coq/wiki/Alternative-names#gaul