Solutions like Dependabot or Renovate update but don't merge dependencies. You need to do it manually while it could be fully automated! Add a Merge Queue to your workflow and stop caring about PR management & merging. Try Mergify for free. Learn more →
Top 10 theorem-prover Open-Source Projects
A next-gen functional language (by HigherOrderCO)Project mention: Can one use lambda calculus as an IR? | /r/Compilers | 2023-06-06
Depending on what you mean by practical it already is! https://github.com/HigherOrderCO/Kind HVM was developed to be an efficient backend for the Kind language from the same folks
An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
Static code analysis for 29 languages.. Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free.
My sandbox for experimenting with solver algorithms.
Resolution theorem proving for predicate logic in pure Python.Project mention: First order logic theorem prover in pure Python | news.ycombinator.com | 2023-08-31
Cicada Language (by cicada-lang)
Datalog + Egg = Good
🧊 Модальний Гомотопічний Прувер
Updating dependencies is time-consuming.. Solutions like Dependabot or Renovate update but don't merge dependencies. You need to do it manually while it could be fully automated! Add a Merge Queue to your workflow and stop caring about PR management & merging. Try Mergify for free.
Budge - a programming language and a theorem prover (by bor0)
The Supervisionary proof-checking kernel for higher-order logic
Supervisionary: a proof-checking system for HOL (by DominicPM)Project mention: What would you rewrite in Rust? | /r/rust | 2023-02-11
This may interest you: https://github.com/DominicPM/supervisionary
theorem-prover related posts
Better Together: Unifying Datalog and Equality Saturation
2 projects | news.ycombinator.com | 18 Apr 2023
Anders CCHM/HTS Theorem Prover
1 project | /r/homotopytypetheory | 20 Jan 2022
Show HN: Anders CCHM/HTS Theorem Prover
1 project | news.ycombinator.com | 20 Jan 2022
A Prolog like syntax for egg
1 project | news.ycombinator.com | 24 Aug 2021
1 project | news.ycombinator.com | 11 Apr 2021
A note from our sponsor - Mergify
blog.mergify.com | 29 Sep 2023
What are some of the best open-source theorem-prover projects? This list will help you: