alephprover is an open-source CLI tool that allows users to submit Lean proof requests to the Aleph Prover API. It is designed for formal verification engineers and researchers working with Lean and theorem proving workflows.
Latest indexed changes and source events
logicalintelligence.com discovered by the PulseGate indexer
Other apps tracked under the same category.
