Geeks
RaasAhsan
/
fritz
Interactive theorem prover based on CoIC
Primary Language
Rust
fritz GitHub
Markdown
Readme
1
Issue
2
Stargazers
1
Watcher
Issues
Open issue
Inductive definitions
#1 opened
2 years ago
by
RaasAhsan
0