Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 9 Proof Automation Open Source Projects

Open source projects categorized as Proof Automation
Categories > Proof Automation
Mathlib ⭐ 1,464
Lean mathematical components library
most recent commit a day ago
Refinery ⭐ 38
⛏️ A refinement proof framework for haskell
total releases 4most recent commit 2 years ago
Pumpkin Patch ⭐ 38
Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker
most recent commit 2 years ago
Autoinagda ⭐ 37
Proof automation – for Agda, in Agda.
most recent commit 3 years ago
Algebra Tactics ⭐ 26
Ring, field, lra, nra, and psatz tactics for Mathematical Components
most recent commit 10 days ago
Mczify ⭐ 20
Micromega tactics for Mathematical Components
most recent commit a month ago
Proof Tree Builder.github.io ⭐ 19
A web-based graphical proof assistant for LK and Hoare logic.
most recent commit 4 months ago
Zigmmverify ⭐ 7
most recent commit a year ago
Pytableaux ⭐ 7
multi-logic proof generator
most recent commit 9 days ago
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2023 Awesome Open Source.  All rights reserved.