Beast code in Giters

Michael Rieppel's repositories

Generates truth tables for formulas of sentential logic

Language:JavaScriptNOASSERTION59 5 2

Fitch style proof constructor

Language:JavaScriptNOASSERTION28 3 3

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

Language:HTMLNOASSERTION12 30

FOL Evaluator - a semantic calculator for first order logic

Language:JavaScriptNOASSERTION8 10

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

Language:JavaScriptNOASSERTION5 20

Syracuse edition of the forall x logic textbook

Language:TeX2 20

Lemmon style proof constructor (superseded by FitchJS)

Language:JavaScriptMIT2 20

Takes second-order logic formulas and lambda terms and translates them into combinator terms

Language:JavaScriptMIT000

a javascript implementation of the dice game hazard

Language:HTMLGPL-3.0010

Haskell program that will parse a formula of first order logic

Language:Haskell000