No. It is currently alpha with active development.
That is normal for an early language implementation. Self-hosting and broader dogfooding increase Eclexia source share over time.
Yes. Coq/Agda artifacts exist, with some remaining admitted theorems still in progress.
Use For Developers, then read CONTRIBUTING.md and QUICK_STATUS.md.
Treat claims as evolving until benchmark suites and reproducible benchmark reports are complete and regularly published.