2c96b38d8c
called LADR (Library for Automated Deduction Research). split into ladr (prover9 mace4 tools) and p9m4 (gui to ladr) ok aja@ and thanks to landry@/robert@ too for putting up with my ranting about this..
6 lines
263 B
Plaintext
6 lines
263 B
Plaintext
MD5 (p9m4-v05.tar.gz) = /gMfvEmVPFgPVMEYZPMaNg==
|
|
RMD160 (p9m4-v05.tar.gz) = APZP1dwHresHUiGMMZ4d+hMLUeE=
|
|
SHA1 (p9m4-v05.tar.gz) = yc4kQAuW+q7COguD0z0+KDqvTGc=
|
|
SHA256 (p9m4-v05.tar.gz) = RRoFF5/LAltmbsmSzUXg1x2sJuQ8H8qBR0e+9UGgQLQ=
|
|
SIZE (p9m4-v05.tar.gz) = 889707
|