Popular repositories Loading

1. VanHElsing VanHElsing Public

   Automatic Theorem Prover in Python based on the E prover

   C 2

2. E E Public

   A theorem prover for full first-order logic with equality by Stephan Schulz

   C 2