issues
search
theoremprover-museum
/
theoremprover-museum.github.io
https://theoremprover-museum.github.io
GNU General Public License v3.0
52
stars
6
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Thanks & DECLARE
#29
dsyme
opened
3 years ago
4
Update SAD and add Naproche(-SAD), Why3, Elfe, Egal
#28
adelon
closed
3 years ago
7
Please, add PTS checker Yarrow
#27
safinaskar
opened
3 years ago
4
Darwin and Gandalf source online
#26
nick8325
opened
3 years ago
0
MetaPRL is currently been maintained
#25
LdBeth
opened
3 years ago
1
Autologic --> Most Wanted Prover Museum
#24
ghost
opened
3 years ago
0
Mark Tarver's SEQUEL system 7.0 and 5.3
#23
bitmappergit
closed
4 years ago
3
Add Oleg
#22
mietek
closed
4 years ago
4
Fix typo
#21
mietek
closed
4 years ago
1
Added three provers for induction
#20
moajohansson
closed
4 years ago
2
dead link for lost provers
#19
JacquesCarette
opened
5 years ago
2
Update provers.yml
#18
mariapaola
closed
5 years ago
1
Update provers.yml
#17
urchick
closed
6 years ago
0
Information on Automath
#16
makarius
opened
6 years ago
0
Broken link on active systems
#15
makarius
closed
6 years ago
2
develop a standard repository layout so that we can have other things than just the source
#14
kohlhase
opened
6 years ago
0
build up the database of existing systems
#13
kohlhase
opened
6 years ago
1
make forks of external repositories in the TPM orga.
#12
kohlhase
opened
6 years ago
1
metadata schema for theorem provers
#11
kohlhase
closed
6 years ago
4
there are two repositories for SNARK
#10
kohlhase
closed
6 years ago
3
ALF
#9
anderssch
opened
7 years ago
4
snark
#8
arademaker
closed
7 years ago
1
move to a Jekyll-based setup (easier to have news, ... )?
#7
kohlhase
closed
6 years ago
9
get endorsement from the AAR.
#6
kohlhase
opened
7 years ago
1
mine the old theorem prover overview pages for systems
#5
kohlhase
opened
8 years ago
1
open the museum
#4
kohlhase
opened
8 years ago
3
build a group of activists and advisors
#3
kohlhase
opened
8 years ago
0
add proper css to the most wanted list
#2
kohlhase
closed
8 years ago
4
Keep a list of active theorem provers?
#1
kohlhase
closed
7 years ago
1