Giters
conrad-watt
/
wasm-pl-isabelle
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
4
Watchers:
4
Issues:
1
Forks:
1
conrad-watt/wasm-pl-isabelle Issues
Diverging "by force" steps in lemmas reduce_to_length_globs and reduce_to_funcs
Closed
4 years ago
Comments count
1