12
21
36
Mentions
@
|
Stars | Project | Description |
---|---|---|---|
2 | 533 | Sail architecture definition language |
Popular Isabelle Topics
Latest Mentions
Latest mentioned Isabelle repos
Stars | Project |
---|---|
533 | sail |
490 | l4v |
614 | elle |
39 | sortnetopt |
157 | cogent |
1 | Folklore-and-miscellaneous-results-in... |
17 | WasmCert-Isabelle |
2 | Lambda-RAM-Compiler |
171 | marlowe |
1 | ouroboros-high-assurance |
10 | isabelle-lambda-calculus |
Latest Discoveries
Latest discovered Isabelle repos
Stars | Project |
---|---|
533 | sail |
39 | sortnetopt |
1 | Folklore-and-miscellaneous-results-in... |
17 | WasmCert-Isabelle |
614 | elle |
2 | Lambda-RAM-Compiler |
157 | cogent |
1 | ouroboros-high-assurance |
490 | l4v |
10 | isabelle-lambda-calculus |
171 | marlowe |
13 | scyther-proof |
Recently updated posts
-
SeL4 Specification and Proofs
-
Tetrisssss
-
Elimination of programmers
-
Google Announces KataOS and Sparrow
-
Thoughts on the Rascal meta-programming language