Back to search
Top Contributors
1.9k
commits
Readings on computational logic, interactive theorem proving and functional programming.
Stars
87
Forks
8
Watchers
87
Open Issues
1
Overall repository health assessment
No language data available
No package.json found
This might not be a Node.js project
1.9k
commits