leanprover/LNSym
Armv8 Native Code Symbolic Simulator in Lean
GitHub repository with 121 stars and 26 forks.
Language: Lean
Topics: lean4
24h trend summary
Trending score 0.04, freshness score 0.00, stars gained +0, forks gained +0.
Latest metric snapshot
2026-11-15: 121 stars and 26 forks.