Proof assistants

Automated theorem provers



A particular slant on computational symbolic mathematics targetting foundational applications.

Proof assistant help us to prove theorems. See Proof Assistants Stack Exchange for some action research.

Lean

The most active community AFAICT. Open source. VS Code interface (!).


No comments yet. Why not leave one?

GitHub-flavored Markdown & a sane subset of HTML is supported.