Archon-Horizon
Distributed, objective-led control plane for Lean 4 formalization projects.
What is Archon-Horizon?
Distributed, objective-led control plane for Lean 4 formalization projects.
Maintain this project? Show that it is featured on YunoDB.
Markdown
[](https://yunodb.com/tools/frenzymatharchon-horizon?utm_source=github&utm_medium=badge)HTML
<a href="https://yunodb.com/tools/frenzymatharchon-horizon?utm_source=github&utm_medium=badge"><img src="https://yunodb.com/badge/frenzymatharchon-horizon.svg" alt="Featured on YunoDB" height="20"></a>Keep exploring
View all alternatives Related tools
100/100
FinceptTerminal
FinceptTerminal is a modern finance application offering advanced market analytics, investment research, and economic data tools, designed for interactive explo
100/100
open-saas
A 100% free modern JS SaaS boilerplate (React, NodeJS, Prisma). Full-featured: Auth (email, google, github, slack, MS), Email sending, Background jobs, Landing
100/100
wechat-bot
🤖 Multi-platform IM AI Agent for Telegram, WhatsApp, Lark, and WeChat. Connects ChatGPT / Claude / Kimi / DeepSeek / Ollama / Pi for auto-replies, community an