Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for proof automation
proof-automation
x
9 search results found
Refinery
⭐
56
⛏️ A refinement proof framework for haskell
Pumpkin Patch
⭐
38
Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker
Autoinagda
⭐
37
Proof automation – for Agda, in Agda.
Algebra Tactics
⭐
28
Ring, field, lra, nra, and psatz tactics for Mathematical Components
Mczify
⭐
22
Micromega tactics for Mathematical Components
Proof Tree Builder.github.io
⭐
19
A web-based graphical proof assistant for LK and Hoare logic.
Pytableaux
⭐
8
multi-logic proof generator
Zigmmverify
⭐
7
Lean Crypto Formalization
⭐
6
Library for formalizing cryptography proofs in Lean
Related Searches
Coq Proof Automation (3)
Theorem Proving Proof Automation (3)
1-9 of 9 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.