google-deepmind/code-verification
Verifying Signal's security at the machine-code level
GitHub repository with 139 stars and 18 forks.
Language: Lean
Topics: formal-verification, lean
24h trend summary
Trending score 0.08, freshness score 0.51, stars gained +0, forks gained +0.
Latest metric snapshot
2026-11-15: 139 stars and 18 forks.