Information |
Prove Formula | Data : a formula
|
You can find the theoritical basis for this prover in the
following paper written by
Vìtězlav vejdar.
The prover is implemented in
Ocaml.
examples | rules | syntax | info | home | download | Last Modified : 17-Dec-2021 |