No description, website, or topics provided.
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
fonts
problems
.gitattributes
.gitignore
README.md
expressions.js
index.html
katex.css
katex.js
library.js
logic existential introduction.png
parse.js
polyfills.js
problempost.js
problempre.js
syllogism.png
tableinterface.js
zero times x.png

README.md

Proof-Drilling

This repo is a prototype of a learning tool for the University of Michigan. The web-app validates simple proofs entered by a student.