Verifying Signal's security at the machine-code level
Repository Index
85,578 visible repositories in the index
1–2 of 2 · Most stars
A Lean formalization of the Classification of Finite Simple Groups
85,578 visible repositories in the index
1–2 of 2 · Most stars
Verifying Signal's security at the machine-code level
A Lean formalization of the Classification of Finite Simple Groups