An proof refinement logic for computational type theory. Inspired by Nuprl. [For up-to-date development, see JonPRL's successor, RedPRL: https://github.com/redprl/sml-redprl]
Stars
111
Forks
9
Watchers
111
Open Issues
32
Overall repository health assessment
No package.json found
This might not be a Node.js project
749
commits
218
commits
54
commits
3
commits
2
commits
1
commits
1
commits
1
commits
fix a binding bug in Subst rule (huge thanks to @wilcoxjay for help diagnosing this!)
17750afView on GitHubMerge pull request #246 from jonsterling/upgrade-telescopes
f744515View on GitHub