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 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