Jan van Brügge f79b811f2d eprover: Add option to enable LFHOL reasoning ... Using eprover as automated theorem prover for sledgehammer requires this option.		2022-01-02 20:53:32 +01:00
..
default.nix	eprover: Add option to enable LFHOL reasoning	2022-01-02 20:53:32 +01:00