Startsida Utforska Hjälp
Logga in
dfanfdsanfdsa
/
ood-ports-lbsd-fork1
forkad från jimmy/ood-ports-lbsd
Bevaka 1
Stjärnmärk 0
Fork 0
Filer
Gren: master
Grenar Taggar
ood-ports-lb...
/
math
/
prover9
/
ladr
/
pkg
jasper 2c96b38d8c import Prover9, Mace4, and several related programs come packaged in a system 14 år sedan
..
DESCR 2c96b38d8c import Prover9, Mace4, and several related programs come packaged in a system 14 år sedan
PLIST 2c96b38d8c import Prover9, Mace4, and several related programs come packaged in a system 14 år sedan