PetoronAI Commercial Licensing Program
-
Updated
Sep 1, 2026 - Objective-C++
#
proof-generation
Here are 5 public repositories matching this topic...
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
Dockerized Spacemesh postcli with GPU support — containerized proof generation.
-
Updated
Jul 31, 2023
TypeScript SDK and CLI for Herodotus Cloud.
-
Updated
May 7, 2026 - TypeScript
Mapping the hidden geometry between Lean theorem statements, proof strategies, and retrieval-guided proof generation.
machine-learning theorem-proving proof-assistant lean formal-methods automated-theorem-proving lean4 retrieval-augmented-generation proof-generation semantic-embeddings leandojo
-
Updated
Aug 26, 2026 - Python
Add this topic to your repo
To associate your repository with the proof-generation topic, visit your repo's landing page and select "manage topics."