Projects in Awesome Lists tagged with automatic-theorem-proving
A curated list of projects in awesome lists tagged with automatic-theorem-proving .
https://github.com/rasheedja/lppaver
An automated prover targeting problems that involve nonlinear real arithmetic.
automatic-theorem-proving formal-methods haskell library math mathematics maths mpl program theorem-prover theorem-proving verification
Last synced: 07 Sep 2025
https://github.com/galoisinc/mmc-paper
Modular Model Checking Paper
automatic-theorem-proving distributed-systems fault-tolerance high-assureance model-checking
Last synced: 06 Feb 2026
