The Lean mathematical library, mathlib, is a unified library of mathematics formalized in the Lean proof assistant.
Read more
The Linux Portal Site
The Lean mathematical library, mathlib, is a unified library of mathematics formalized in the Lean proof assistant.
Read moreIsabelle is a generic proof assistant. It allows mathematical formulas to be expressed in a formal language.
Read moreCoq is a formal proof management system. This is free and open source software developed by a wide range of institutions.
Read moreAgda is a proof assistant. It is an interactive system for writing and checking proofs.
Read moreMatita (means pencil in italian) is an experimental, interactive theorem prover.
Read more