Skip to content

@VanHElsing VanHElsing

Change the repository type filter

All

    Repositories list

    2 repositories

    • VanHElsing

      Public
      Automatic Theorem Prover in Python based on the E prover
      C
      •
      Other
      •0•2•0•0•Updated Apr 18, 2015Apr 18, 2015

    • E

      Public
      A theorem prover for full first-order logic with equality by Stephan Schulz
      C
      •
      Other
      •0•2•0•0•Updated May 8, 2014May 8, 2014