#

automatic-theorem-proving

Here are 2 public repositories matching this topic...

rasheedja / LPPaver

An automated prover targeting problems that involve nonlinear real arithmetic.

haskell library math theorem-proving mathematics verification formal-methods maths program mpl theorem-prover automatic-theorem-proving

Updated Dec 6, 2023
JavaScript

GaloisInc / mmc-paper

Modular Model Checking Paper

distributed-systems fault-tolerance model-checking automatic-theorem-proving high-assureance

Updated May 17, 2017
TeX

Improve this page

Add a description, image, and links to the automatic-theorem-proving topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the automatic-theorem-proving topic, visit your repo's landing page and select "manage topics."