miyamok / epsilonproofchecker

Proof assistant for Hilbert style proof systems including predicate calculus and epsilon calculus

Geek Repo

Github PK Tool