Coq
https://en.wikipedia.org/wiki/Coq
Proof assistant by Inria
#proof_assistant