YuantianDing / HilbertProverLinks

An Automatic Theorem Prover for Hilbert System, generating nearly-minimal proofs.
11Updated 4 months ago

Alternatives and similar repositories for HilbertProver

Users that are interested in HilbertProver are comparing it to the libraries listed below

Sorting: