Explore projects
-
-
iProver -- a theorem prover for first-order logic with support for arithmetical reasoning.
Updated -
openfoam / community / Verification and Validation
Creative Commons Attribution Non Commercial No Derivatives 4.0 InternationalUpdated -
Marek Chalupa / Bubaak
MIT LicenseBubaak - a tool of indeterminate structure that scares children and makes adults nervous (or laughing).
Updated