Popular repositories Loading

1. logos logos Public

   A Proof Assistant for Philosophers

   Clojure 6

2. poker poker Public

   A draw poker game written in python using tkinter

   Python 3 2

3. intuitionist_bot intuitionist_bot Public

   A twitter bot that decides whether a formula is an intuitionistic validity and tweets the result.

   Python 2

4. Uconn-LaTeX-Dissertation-Template Uconn-LaTeX-Dissertation-Template Public

   This is a template for formatting a dissertation in LaTeX according to the University of Connecticut's specifications

   TeX 1 2

5. ModalTheoremProver ModalTheoremProver Public

   A Theorem prover for Any Modal Logic using Tree Hypersequents

   Haskell 1

6. timesheet timesheet Public

   My Personal Timesheet

   Clojure 1