|
|
|
|
|
|
by gnulinux
1101 days 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. |
|
|