Pinned Loading

1. TruthTableGenerator TruthTableGenerator Public

   Generates truth tables for formulas of sentential logic

   JavaScript 60 17

2. FitchFX FitchFX Public

   Fitch proof constructor (using rules from my version of the forall x textbook)

   JavaScript 5 2

3. forallxsyr forallxsyr Public

   Syracuse edition of the forall x logic textbook

   TeX 2

4. fol fol Public

   FOL Evaluator - a semantic calculator for first order logic

   JavaScript 8 1

5. fitchjs fitchjs Public

   Fitch style proof constructor

   JavaScript 27 6

6. fretboard fretboard Public

   A music theory app for visualizing chords and scales on a guitar's fretboard.

   HTML 15 3