Skip to content
@VanHElsing

VanHElsing

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

Repositories

Showing 2 of 2 repositories
  • VanHElsing Public

    Automatic Theorem Prover in Python based on the E prover

    VanHElsing/VanHElsing’s past year of commit activity
    C 2 0 0 0 Updated Apr 18, 2015
  • E Public

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

    VanHElsing/E’s past year of commit activity
    C 2 0 0 0 Updated May 8, 2014

Top languages

Loading…

Most used topics

Loading…