- Referenced in 1880 articles
- Coq is a formal proof management system. It...
- Referenced in 5363 articles
- The result of over 30 years of cutting...
- Referenced in 522 articles
- ML (’Meta Language’) is a general-purpose functional...
- Referenced in 47 articles
- Timbuk is a collection of tools for achieving...
- Referenced in 273 articles
- OCaml is the most popular variant of the...
- Referenced in 410 articles
- Automath is a language designed by N.G. the...