Agda - Agda is a dependently typed functional programming language. It has inductive families, i.e.
Wolfram Mathematica - Mathematica has characterized the cutting edge in specialized processing—and gave the chief calculation environment to a large number of pioneers, instructors, understudies, and others around the globe.
Coq - Coq is a proof assistant, which allows you to write mathematical proofs in a rigorous and formal...
GNU Octave - GNU Octave is a programming language for scientific computing.
Lean - Clean up your Live Photos
Scilab - Scilab Official Website. Enter your search in the box aboveAbout ScilabScilab is free and open source software for numerical . Thanks for downloading Scilab!