Explore Topics Trending Collections Events GitHub Sponsors

automatic-theorem-proving

Here are 3 public repositories matching this topic...

Language: All

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

Modular Model Checking Paper

Formalizing the symplectic basis theorem and CHP clifford simulator in Agda

quantum agda automatic-theorem-proving clifford

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

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