3 ms·
I don't think that's clear. - HOL4, Isabelle, ProofPower : Standard ML - Coq, HOL Light, HOL Zero : OCaml - Lean : C++ - Agda, Idris: Haskell - Mizar : Pas
by xrchz 8y ago
I don't think that's clear.
- HOL4, Isabelle, ProofPower : Standard ML
- Coq, HOL Light, HOL Zero : OCaml
- Lean : C++
- Agda, Idris: Haskell
- Mizar : Pascal
- Metamath : C