1 site entry connected to this topic.
A language and toolchain for writing code and checking mathematical proofs.
formal-verification, lean, math