Structure Hollom

Modification history

2025-06-05 01:32

Counterexamples/AharoniKorman.lean

chore: uncomment Counterexamples/AharoniKorman (#25465)

Added Hollom View on Github →

2025-04-03 05:22

Counterexamples/AharoniKorman.lean

chore: bump toolchain to v4.19.0-rc2 (#23614)

Deleted Hollom View on Github →

2025-03-12 15:37

Counterexamples/AharoniKorman.lean

feat(Counterexamples): disproof of the Aharoni–Korman conjecture (#20082) …

Added Hollom View on Github →