Skip to content
View proof-theory's full-sized avatar
3 followers · 5 following
Block or Report

Block or report proof-theory

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned

  1. gapt/gapt gapt/gapt Public

    GAPT: General Architecture for Proof Theory

    Scala 91 18

  2. pmGenerator pmGenerator Public

    Forked from xamidi/pmGenerator

    An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.

    C++ 1

  3. gkc gkc Public

    Forked from tammet/gkc

    A reasoning system for large knowledge bases.

    C

  4. Prover9 Prover9 Public

    Forked from ai4reason/Prover9

    Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.

    C

  5. tpg tpg Public

    Forked from wo/tpg

    Tree Proof Generator

    JavaScript