monogate.dev — The EML Challenge Board

Explorer Challenge Lab Learn Docs Research ↗

loading explorer…

Monogate Research · arXiv:2603.21852 · 50 Lean theorems · 265 equations · EML Cost Conjecture (in development) · monogate.org · monogate.dev · GitHub · PyPI