-
ITouch Systems
- Turkiye
-
08:49
(UTC +03:00) - https://answerr.me
- https://orcid.org/0009-0000-1587-8703
Highlights
- Pro
Popular repositories Loading
-
mandelbrot-fractal-neural-synthesis
mandelbrot-fractal-neural-synthesis PublicMandelbrot Fractal Neural Synthesis: Zero-Storage Procedural Weight Derivation and Non-Linear Decision Boundaries
-
gap-lean4-port
gap-lean4-port PublicMachine-Checked Formal Verification of GAP in Lean 4 / Mathlib (Release v0.2.0, 35 theorems, 0 sorry, arXiv:2609.38492)
-
niemeier-a8-umbral-moonshine
niemeier-a8-umbral-moonshine PublicMachine-certified Lean 4 formalization of the 24D Niemeier lattice A_8^3, K3 Hodge duality and Umbral Moonshine
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.
