monogate.dev / leaderboard
Global Leaderboard
All valid constructions across all challenges, ranked by node count ascending. Attribution is permanent — your name stays on your record even if someone beats it.
Total valid submissions
0
Challenges solved
0 / 10
Open problems
2
i (strict grammar) ↗
#
Author
Nodes
Depth
Date
No valid constructions yet. Submit one.
π ↗
#
Author
Nodes
Depth
Date
No valid constructions yet. Submit one.
cos(x) ↗
#
Author
Nodes
Depth
Date
No valid constructions yet. Submit one.
sin(x) ↗
#
Author
Nodes
Depth
Date
No valid constructions yet. Submit one.
i (extended grammar) ↗
#
Author
Nodes
Depth
Date
No valid constructions yet. Submit one.
Tight EML Pumping Lemma ↗
#
Author
Nodes
Depth
Date
No valid constructions yet. Submit one.
Phantom Attractor Identity ↗
#
Author
Nodes
Depth
Date
No valid constructions yet. Submit one.
pi/2 Real EML Constructibility ↗
#
Author
Nodes
Depth
Date
No valid constructions yet. Submit one.
EML-4 Exact Separation ↗
#
Author
Nodes
Depth
Date
No valid constructions yet. Submit one.
Sawtooth Wave G2 Density ↗
#
Author
Nodes
Depth
Date
No valid constructions yet. Submit one.
No valid submissions yet across any challenge. Pick a problem and submit the first construction.