Discover trending Isabelle
open-source projects

11
19
30
Our great sponsors
  • Scout APM - Truly a developer’s best friend
  • InfluxDB - Build time-series-based applications quickly and at scale.
  • SonarQube - Static code analysis for 29 languages.
  • Zigi - Workflow assistant built for devs & their teams
Our great sponsors

l4v

elle

cogent

marlowe
Mentions
@
 Stars Project Description
1 441
l4v
 seL4 specification and proofs
1 151
cogent
 Cogent Project

Popular Isabelle Topics

#Formal Verification #programming-languages #Ouroboros #soundness #sel4-microkernel #isabelle-hol #sel4-proofs #Distributed Systems #co-generation #file-systems #Proof #formalisation #Cryptocurrency #Blockchain #Security #Verification #Cardano #Formal Methods #isabelle

Latest Mentions

Latest mentioned Isabelle repos
Stars Project
441 l4v
151 cogent
1 Folklore-and-miscellaneous-results-in...
14 WasmCert-Isabelle
36 tangentlabs
534 elle
2 Lambda-RAM-Compiler
156 marlowe
0 ouroboros-high-assurance
8 isabelle-lambda-calculus

Latest Discoveries

Latest discovered Isabelle repos
Stars Project
1 Folklore-and-miscellaneous-results-in...
14 WasmCert-Isabelle
534 elle
36 tangentlabs
2 Lambda-RAM-Compiler
151 cogent
0 ouroboros-high-assurance
441 l4v
8 isabelle-lambda-calculus
156 marlowe
12 scyther-proof

Recently updated posts

View more »

Newsletter