A friendly functional language for finding counterexamples 🎯
-
Updated
Jul 15, 2024 - Haskell
#
counterexample
Here are 5 public repositories matching this topic...
MIRROR of https://codeberg.org/catseye/Eightebed : A C-like language with explicit free which is nonetheless safe
-
Updated
Jul 26, 2021 - Python
Stochastic parallelised search for counter- and extreme examples to inequalities between "nonbities" of 2 polynomials with nonnegative coefficients and of their product, where a nonbity of a polynomial quantifies its "distinctiveness" from a {0,1}-one. Related to unfair 0-1-polynomials conjecture.
search product extreme multiplication stochastic problem polynomial convolution fair uniform integer newman inequality conjecture counterexample continuity unfair nonbity
-
Updated
Jan 8, 2025 - Rust
Proof that 20 glasses of Ouzo don't matter by Mathematical Induction
-
Updated
Feb 5, 2021
a dynamic analysis tool to find interactions among configuration options in highly-configurable software.
-
Updated
Dec 17, 2020 - Python
Improve this page
Add a description, image, and links to the counterexample topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the counterexample topic, visit your repo's landing page and select "manage topics."