Popular repositories Loading

1. Submitty Submitty Public

   Forked from Submitty/Submitty

   Homework Submission, Automated Grading, and TA grading system.

   PHP

2. lazyslate lazyslate Public

   Forked from RAIRLab/lazyslate

   An open source graphical proof construction assistant for the creation of Propositional Natural Deduction proofs.

   TypeScript

3. ShadowProver-Python ShadowProver-Python Public

   Forked from RAIRLab/ShadowProver-Python

   Python Interface to ShadowProver (Work in progress for new SP repo, use naveen branch instead)

   Jupyter Notebook