Daniel Schepler
Results
1
repositories owned by
Daniel Schepler
coq-sequent-calculus
45
Stars
3
Forks
Watchers
Coq formalizations of Sequent Calculus, Natural Deduction, etc. systems for propositional logic