3 repositories on SrcLog
Generates truth tables for formulas of sentential logic
Fitch style proof constructor
A music theory app for visualizing chords and scales on a guitar's fretboard.