Robuta

https://leanprover-community.github.io/mathlib4_docs/Counterexamples.html Counterexamples counterexamples https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2021.75 Counterexamples to the Low-Degree Conjecture to the counterexamples low degree conjecture https://www.ideals.illinois.edu/items/78235 Learning Invariants using Decision Trees and Implication Counterexamples | IDEALS decision trees learning invariants using implication https://ibm-data-and-ai.ideas.ibm.com/ideas/ASSISTANT-I-154 Adding Counterexamples | IBM Data Platform Ideas Portal for Customers data platform ideas portal adding counterexamples ibm