Research scaffold: Jacobian Conjecture counterexamples, Weyl-algebra endomorphisms, and phase-space / reversible quantum symmetry criteria (Quantyra).
-
Updated
Aug 2, 2026 - Python
#
quantyra
Here are 2 public repositories matching this topic...
Lean 4 Gate-0 certificates for the EXOTIC-CCR Jacobian counterexample anchor (Quantyra).
-
Updated
Aug 2, 2026 - Lean
Add this topic to your repo
To associate your repository with the quantyra topic, visit your repo's landing page and select "manage topics."