Trusted AI mathematics workbench: ProblemContract to Attempt to verified proof/counterexample bundles with SymPy and Lean evidence gates.
Makefile Updated 18 days ago 1 commits 17 stars
sigma-ai|Mirror: tradecatlabs-vibe-mathing/vibe-mathing-cn-public (⭐17)
18 days agoAbout
Trusted AI mathematics workbench: ProblemContract to Attempt to verified proof/counterexample bundles with SymPy and Lean evidence gates.
Readme
17 stars
3 forks