3 ms·
Of course, for example, if you're in need of an automated theorem prover, your only options are Coq, Agda, Isabelle/HOL etc for now all of which come with very
by gnulinux 3y ago
Of course, for example, if you're in need of an automated theorem prover, your only options are Coq, Agda, Isabelle/HOL etc for now all of which come with very serious trade-offs which leads to the development of newer languages such as Lean etc.