counterexample-generator
// Automated search for counterexamples to mathematical conjectures
$ git log --oneline --stat
stars:384
forks:73
updated:March 4, 2026
SKILL.md
Този skill няма публичен SKILL.md файл.
Разгледайте в GitHub// Automated search for counterexamples to mathematical conjectures
Този skill няма публичен SKILL.md файл.
Разгледайте в GitHub