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

License #25

Closed gleachkr closed 9 years ago

gleachkr commented 9 years ago

We should probably decide on a license before opening up the repository. I'm leaning towards GPL, but I am open to alternative suggestions.