Coq
A formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an…
Windows · v2025.01.0 · coq.inria.fr
About Coq
A formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
More education for Windows
Allure
A flexible lightweight multi-language test report tool
Education
Ammonite
Ammonite lets you use the Scala language for scripting purposes: in the REPL, as scripts, as a library, or as a standalone systems shell.
Education
Autohotkey
The ultimate automation scripting language for Windows.
Education
Autoit
Scripting language designed for automating the Windows GUI and general scripting
Education
Avogadro
An advanced molecule editor and visualizer designed for use in computational chemistry, molecular modeling, bioinformatics, materials science, and related…
Education
Avogadro2
The official continuation of the advanced molecule editor and visualizer designed for use in computational chemistry, molecular modeling, bioinformatics,…
Education
Bazel
A fast, scalable, multi-language and extensible build system
Education
Bc
Arbitrary precision numeric processing language
Education
Copytranslator
Foreign language reading and translation assistant based on copy and translate
Education