eBPF-supervised execution of binary controllers/models for Runtime Verification
QuickCheck-like testing framework for Isabelle/ML
A high-performance C/AVX2 computational framework for exhaustively searching for counterexamples to the Beal Conjecture — pushing significantly deeper than previous published records.
Local property-testing workbench for deterministic counterexamples, shrink traces, reruns, and JS/TS debugging.
example of a nowhere continuous (weakly) Picard operator
A resumable, parallel research loop for attacking open mathematics problems.
An infinite family disproving Warnaar–Zudilin Conjecture 5, with a self-contained proof and independent exact verifiers.
construction of a nowhere convex, non-negative, strictly increasing, continuously differentiable function tightly bounded from above by a convex one
Add a description, image, and links to the counterexamples topic page so that developers can more easily learn about it.
To associate your repository with the counterexamples topic, visit your repo's landing page and select "manage topics."