YuantianDing / HilbertProver

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

Alternatives and similar repositories for HilbertProver:

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