Isabelle LibHunt

Discover popular and related Isabelle open-source projects
4
3
3
Our great sponsor
  • Scout - Get performance insights in less than 4 minutes
Our great sponsor
Mentions Stars Project Description
1 333
l4v
 seL4 specification and proofs
1 79
ouroboros-high-assurance
 High-assurance implementation of the Ouroboros protocol family

Popular Isabelle Topics

#Blockchain #Cardano #Cryptocurrency #Distributed Computing #formalisation #Formal Methods #Formal Verification #isabelle #Ouroboros #Proof #Security #sel4-microkernel #sel4-proofs

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