search

gleachkr / Carnap-Old

An interactive proof checker that runs in the browser
http://gleachkr.github.io/Carnap/
GNU General Public License v3.0
3 stars 0 forks source link

Webpage #6

Closed gleachkr closed 9 years ago

gleachkr commented 9 years ago

We want a webpage with some examples and use cases.

gleachkr commented 9 years ago

I think this is now finished