Popular repositories Loading

1. Carnap-Old Carnap-Old Public

   An interactive proof checker that runs in the browser

   JavaScript 3

2. FiraLogic FiraLogic Public

   A FOSS font for logical notation.

   HTML 3 1

3. ProofJS ProofJS Public

   A UI Widget for Gentzen-style proof layouts

   JavaScript 3 1

4. nix-tools nix-tools Public

   Some simple nix derivations for tools I might want to use

   Vim Script 3

5. TermRewriting TermRewriting Public

   Lean formalizations of results from Term Rewriting and All That

   Lean 2

6. OL-Slides OL-Slides Public

   HTML 1