Geeks
gattschardo
/
open-inductive
Open inductive predicate definitions for Isabelle
Primary Language
Standard ML
open-inductive GitHub
Markdown
Readme
0
Issues
0
Stargazers
2
Watchers
Watchers
gattschardo
Mannheim, Germany
nomeata
@dfinity-lab