GitHub / EthanOrlander / cisc-204-tool

Jape 2.0?

JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/EthanOrlander%2Fcisc-204-tool
PURL: pkg:github/EthanOrlander/cisc-204-tool

Stars: 0
Forks: 0
Open issues: 0

License: None
Language: TypeScript
Size: 175 KB
Dependencies parsed at: Pending

Created at: over 4 years ago
Updated at: about 2 years ago
Pushed at: over 4 years ago
Last synced at: 16 days ago

Topics: jape, logic, natural-deduction, natural-logic, predicate-logic, propositional-logic

Loading...