prover9-mace4 0.5.dfsg-3 / usr / share / prover9-mace4 / Samples

This file is indexed.

/usr/share/prover9-mace4/Samples/ is in prover9-mace4 0.5.dfsg-3.

This file is owned by root:root, with mode 0o755.

File Mime Type Owner Mode Size
..
/usr/share/prover9-mace4/Samples/Equality/ root:root 0o755
/usr/share/prover9-mace4/Samples/Equality/Mace4/ root:root 0o755
/usr/share/prover9-mace4/Samples/Equality/Mace4/BA-Sheffer-counterexample.in text/plain root:root 0o644 1.1 KB
/usr/share/prover9-mace4/Samples/Equality/Mace4/CL-QL.in text/plain root:root 0o644 521 bytes
/usr/share/prover9-mace4/Samples/Equality/Mace4/Megill-68.in text/plain root:root 0o644 722 bytes
/usr/share/prover9-mace4/Samples/Equality/Mace4/Noncommutative-group-48.in text/plain root:root 0o644 356 bytes
/usr/share/prover9-mace4/Samples/Equality/Mace4/Noncommutative-group.in text/plain root:root 0o644 510 bytes
/usr/share/prover9-mace4/Samples/Equality/Mace4/Noncommutative-ring-unit.in text/plain root:root 0o644 475 bytes
/usr/share/prover9-mace4/Samples/Equality/Mace4/Nonmodular-OML.in text/plain root:root 0o644 547 bytes
/usr/share/prover9-mace4/Samples/Equality/Mace4/QG-4.in text/plain root:root 0o644 461 bytes
/usr/share/prover9-mace4/Samples/Equality/Mace4/Ring-19.in text/plain root:root 0o644 1.1 KB
/usr/share/prover9-mace4/Samples/Equality/Mace4/TBA-independence-2.in text/plain root:root 0o644 451 bytes
/usr/share/prover9-mace4/Samples/Equality/Prover9/ root:root 0o755
/usr/share/prover9-mace4/Samples/Equality/Prover9/BA-distributivity.in text/plain root:root 0o644 448 bytes
/usr/share/prover9-mace4/Samples/Equality/Prover9/CL-BW.in text/plain root:root 0o644 845 bytes
/usr/share/prover9-mace4/Samples/Equality/Prover9/CL-SK-W.in text/plain root:root 0o644 451 bytes
/usr/share/prover9-mace4/Samples/Equality/Prover9/Cancellative-semigroup-EA.in text/plain root:root 0o644 1.3 KB
/usr/share/prover9-mace4/Samples/Equality/Prover9/LT-McKenzie-4basis.in text/plain root:root 0o644 464 bytes
/usr/share/prover9-mace4/Samples/Equality/Prover9/OML-sax.in text/plain root:root 0o644 1.5 KB
/usr/share/prover9-mace4/Samples/Equality/Prover9/RBA-2.in text/plain root:root 0o644 410 bytes
/usr/share/prover9-mace4/Samples/GT_Sax.in text/plain root:root 0o644 333 bytes
/usr/share/prover9-mace4/Samples/Kauer.in text/plain root:root 0o644 1.3 KB
/usr/share/prover9-mace4/Samples/LT-McKenzie-4basis.in text/plain root:root 0o644 464 bytes
/usr/share/prover9-mace4/Samples/Non-Equality/ root:root 0o755
/usr/share/prover9-mace4/Samples/Non-Equality/Mace4/ root:root 0o755
/usr/share/prover9-mace4/Samples/Non-Equality/Mace4/EC-counterexample.in text/plain root:root 0o644 418 bytes
/usr/share/prover9-mace4/Samples/Non-Equality/Mace4/Kauer.in text/plain root:root 0o644 1.3 KB
/usr/share/prover9-mace4/Samples/Non-Equality/Mace4/Steam-bug.in text/plain root:root 0o644 2.5 KB
/usr/share/prover9-mace4/Samples/Non-Equality/Mace4/Toughnut.in text/plain root:root 0o644 3.5 KB
/usr/share/prover9-mace4/Samples/Non-Equality/Prover9/ root:root 0o755
/usr/share/prover9-mace4/Samples/Non-Equality/Prover9/EC-XCB-reflexivity.in text/plain root:root 0o644 411 bytes
/usr/share/prover9-mace4/Samples/Non-Equality/Prover9/HWV006-1.in text/plain root:root 0o644 2.7 KB
/usr/share/prover9-mace4/Samples/Non-Equality/Prover9/Lifschitz.in text/plain root:root 0o644 251 bytes
/usr/share/prover9-mace4/Samples/Non-Equality/Prover9/Steam.in text/plain root:root 0o644 2.1 KB
/usr/share/prover9-mace4/Samples/Non-Equality/Prover9/Subset_transitive.in text/plain root:root 0o644 362 bytes
/usr/share/prover9-mace4/Samples/Non-Equality/Prover9/temp text/plain root:root 0o644 21 bytes
/usr/share/prover9-mace4/Samples/Non-Equality/Prover9/temp0 text/plain root:root 0o644 15.8 KB
/usr/share/prover9-mace4/Samples/Non-Equality/Prover9/temp1 text/plain root:root 0o644 20.4 KB

APT Browse - Built by Thomas Orozco.