QuickCheck-like testing framework for Isabelle/ML
-
Updated
Oct 8, 2021 - Standard ML
#
counterexamples
Here are 3 public repositories matching this topic...
construction of a nowhere convex, non-negative, strictly increasing, continuously differentiable function tightly bounded from above by a convex one
-
Updated
Nov 27, 2025 - TeX
example of a nowhere continuous (weakly) Picard operator
-
Updated
Nov 26, 2025 - Shell
Improve this page
Add a description, image, and links to the counterexamples topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the counterexamples topic, visit your repo's landing page and select "manage topics."