#

reasoning-engines

Here is 1 public repository matching this topic...

quantifier-hub / assertion-prover

a formally verified, automated prover for the first-order logic

first-order-logic cloud-service automated-theorem-provers automated-reasoning automated-theorem-proving proof-generation reasoning-engines

Updated Apr 21, 2026
OCaml

Improve this page

Add a description, image, and links to the reasoning-engines 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 reasoning-engines topic, visit your repo's landing page and select "manage topics."