NyxFoundation/docs2formalspec
Docs → RFC2119 spec + Lean4 formal verification, via local-class LLMs
GitHub repository with 5 stars and 0 forks.
Language: Lean
24h trend summary
Trending score 0.05, freshness score 0.06, stars gained +0, forks gained +0.
Latest metric snapshot
2026-07-15: 5 stars and 0 forks.