issues
search
albertqjiang
/
Portal-to-ISAbelle
https://albertqjiang.github.io/Portal-to-ISAbelle/
BSD 3-Clause "New" or "Revised" License
50
stars
18
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
[BUG REPORT] Dupilcate problem name may exist in one theory file
#36
wiio12
opened
7 months ago
0
Docker installation tutorial + Dockerfile
#35
marco-dossantos
closed
1 year ago
0
Update test_client.py for Docker container
#34
marco-dossantos
closed
1 year ago
0
Test2022
#33
albertqjiang
closed
1 year ago
0
Test2022
#32
albertqjiang
closed
1 year ago
0
Revert "Updates"
#31
albertqjiang
closed
1 year ago
0
Updates
#30
albertqjiang
closed
1 year ago
0
Updates
#29
albertqjiang
closed
1 year ago
0
Add hardcoded 30seconds timeout for Sledgehammer.
#28
mikimowski
closed
1 year ago
0
Extract premise names in Isabelle format
#27
Simontwice
opened
1 year ago
0
Handle relative paths in .thy file improts
#26
Simontwice
opened
1 year ago
1
Allow Sledgehammer to use many CPU cores
#25
Simontwice
opened
1 year ago
0
Make timeout a parameter.
#24
mikimowski
closed
1 year ago
0
Improvements to the Portal to ISAbelle repository
#23
albertqjiang
closed
1 year ago
1
Deployment
#22
albertqjiang
closed
1 year ago
0
Deployment (#20)
#21
albertqjiang
closed
1 year ago
0
Deployment
#20
albertqjiang
closed
2 years ago
0
Add more ports
#19
albertqjiang
closed
2 years ago
0
Broken links in readme
#18
wiio12
closed
2 years ago
4
Work
#17
albertqjiang
closed
2 years ago
0
Dev hammer
#16
albertqjiang
closed
2 years ago
0
Work
#15
albertqjiang
closed
2 years ago
0
Work
#14
albertqjiang
closed
2 years ago
0
Work
#13
albertqjiang
closed
2 years ago
0
Work
#12
albertqjiang
closed
2 years ago
0
Exp iter
#11
albertqjiang
closed
2 years ago
0
added the prove_with_Sledgehammer function
#10
albertqjiang
closed
2 years ago
0
Extract first step data
#9
albertqjiang
closed
2 years ago
0
Needed debug
#8
albertqjiang
closed
2 years ago
0
Needed debug
#7
albertqjiang
closed
2 years ago
0
Unified eval
#6
albertqjiang
closed
2 years ago
0
added evaluation of including the last k proof steps
#5
albertqjiang
closed
2 years ago
0
Needed steps
#4
albertqjiang
closed
2 years ago
0
added copy feature to allow better python control
#3
albertqjiang
closed
2 years ago
0
Add previous steps
#2
albertqjiang
closed
2 years ago
0
Add previous steps
#1
albertqjiang
closed
2 years ago
0