GitHub / NeuralCoder3 / prooftrees
Exploration of interactive inference rule application/proofs using a unification approach.
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/NeuralCoder3%2Fprooftrees
Stars: 1
Forks: 0
Open issues: 0
License: None
Language: TypeScript
Size: 11.6 MB
Dependencies parsed at: Pending
Created at: over 3 years ago
Updated at: 10 months ago
Pushed at: 10 months ago
Last synced at: about 1 month ago
Topics: automated-reasoning, inference, typescript, unification, website
Loading...