GitHub / ndt93 / Proof-Editor

A Fitch's style natural deduction proof editor

JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ndt93%2FProof-Editor
PURL: pkg:github/ndt93/Proof-Editor

Stars: 6
Forks: 0
Open issues: 0

License: mit
Language: JavaScript
Size: 184 KB
Dependencies parsed at: Pending

Created at: almost 12 years ago
Updated at: about 3 years ago
Pushed at: almost 12 years ago
Last synced at: about 2 years ago

Topics: discrete-mathematics, fitch, logic, natural-deduction

Loading...