• Automatic Theorem Prover in Python based on the E prover

    C 1 Updated Apr 18, 2015
  • A theorem prover for full first-order logic with equality by Stephan Schulz

    C 1 Updated May 8, 2014

Top languages

Loading…

Most used topics

Loading…