4
3
3
Mentions | Stars | Project | Description |
---|---|---|---|
1 | 333 | seL4 specification and proofs | |
1 | 79 | High-assurance implementation of the Ouroboros protocol family |
Popular Isabelle Topics
Latest Mentions
Latest mentioned Isabelle repos
Stars | Project |
---|---|
79 | ouroboros-high-assurance |
333 | l4v |
6 | isabelle-lambda-calculus |
Latest Discoveries
Latest discovered Isabelle repos
Stars | Project |
---|---|
79 | ouroboros-high-assurance |
333 | l4v |
6 | isabelle-lambda-calculus |
10 | scyther-proof |