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

Help popup #9

Closed gleachkr closed 9 years ago

gleachkr commented 9 years ago

We'd like to create a ghcjs component that can display a popup explaining the basic syntax of a given proof system, and the available inference rules.

gleachkr commented 9 years ago

Closed by 5cc1f8c9cb4a06e20d685c4662a1870e70164d59. Still needs polish.