Giters
VictorTaelin
/
Cedille-Core
A minimal proof language.
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
203
Watchers:
20
Issues:
2
Forks:
12
VictorTaelin/Cedille-Core Issues
DSL for inductive system
Updated
7 years ago
Wrong link in the README.md
Closed
7 years ago
Comments count
1