Michael Rieppel
Results
2
repositories owned by
Michael Rieppel
TruthTableGenerator
59
Stars
17
Forks
Watchers
Generates truth tables for formulas of sentential logic
fitchjs
28
Stars
5
Forks
Watchers
Fitch style proof constructor