Giters
albertqjiang
/
draft_sketch_prove
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
57
Watchers:
4
Issues:
3
Forks:
8
albertqjiang/draft_sketch_prove Issues
How to change the timeout for sledgehammer?
Closed
3 months ago
Comments count
2
Questions about working with Isabelle
Updated
10 months ago
Comments count
2
Missing file for the Code to Run
Closed
a year ago
Comments count
1