Zellic/x86-formal-verification-research
Repository holding releases of our work on the formal verification of x86 binaries.
GitHub repository with 15 stars and 1 forks.
Language: Lean
24h trend summary
Trending score 1.00, freshness score 0.53, stars gained +6, forks gained +1.
Latest metric snapshot
2026-11-03: 15 stars and 1 forks.