issues
search
isabelle-prover
/
proving-contest-backends
"proving-contest"-backends for several theorem provers
MIT License
12
stars
5
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
feat(Isabelle): Updated grader for Isabelle 2021-1
#39
Dacit
closed
2 years ago
0
feat(lean) bump version and clarify version bumping instructions
#38
kappelmann
closed
2 years ago
0
[isabelle] Port implmentation to isabelle-client
#37
wimmers
opened
3 years ago
1
Added Isabelle 2021
#36
Dacit
closed
3 years ago
2
[Isabelle] Handle internal errors more gracefully
#35
wimmers
opened
4 years ago
0
Errors/omissions in Isabelle README and scripts
#34
wimmers
opened
4 years ago
0
adapt sleep-time for poller
#33
maxhaslbeck
opened
4 years ago
1
upgrade to lean-community (3.16.2)
#32
kappelmann
closed
4 years ago
1
Enable Quickcheck in Isabelle check file
#31
wimmers
opened
4 years ago
0
[Isabelle] "test" as an identifier leads to surprising errors
#30
wimmers
opened
4 years ago
0
[Isabelle2020] Incomprehensible Error Message
#29
wimmers
opened
4 years ago
0
enable Isabelle2020
#28
maxhaslbeck
opened
4 years ago
2
new way to break the system in Lean
#27
fpvandoorn
opened
4 years ago
4
Typos in error messages (Isabelle backend)
#26
wimmers
opened
5 years ago
0
Wrong filenames in downloaded Lean zip
#25
kappelmann
opened
5 years ago
0
Lean: fix bugs revealed by break the system competition
#24
kappelmann
closed
5 years ago
5
Lean mathlib support and fix for local notation
#23
kappelmann
closed
5 years ago
0
Disable lean global notation in submission
#22
kappelmann
closed
5 years ago
2
Lean backend upgrade
#21
kappelmann
closed
5 years ago
3
Isabelle judge - qualified constants in the submission lead to timeout
#20
maxhaslbeck
closed
5 years ago
1
Coq poller crash after internet connection glitch
#19
Armael
closed
5 years ago
2
Watchdog loops
#18
maxhaslbeck
closed
5 years ago
1
Isabelle judge crashes if files use unicode symbols
#17
maxhaslbeck
closed
5 years ago
0
Document permission issues for Isabelle grader/poller
#16
wimmers
opened
5 years ago
0
Isabelle grader: error logging
#15
wimmers
closed
5 years ago
0
Isabelle grader: communicate via pipes
#14
wimmers
closed
5 years ago
1
Isabelle grader: improve error handling
#13
wimmers
closed
5 years ago
1
All logs written to watchdog.log
#12
maxhaslbeck
closed
5 years ago
1
Complete Isabelle keyword blacklist
#11
wimmers
opened
5 years ago
0
The download link for a task produces an archive of past submissions?
#10
Armael
opened
5 years ago
2
Allow submitting an empty public check file
#9
Armael
closed
5 years ago
1
Structured format for grader replies
#8
Armael
opened
5 years ago
5
Typing
#7
wimmers
opened
5 years ago
0
Follow docstring conventions
#6
wimmers
opened
5 years ago
0
Proper error messages
#5
wimmers
closed
5 years ago
1
Catch stderr
#4
wimmers
opened
5 years ago
0
Catch stderr
#3
wimmers
closed
5 years ago
0
Coq backend
#2
Armael
closed
5 years ago
2
Poller for Lean
#1
johoelzl
closed
5 years ago
0