Isabelle LibHunt

Discover popular and related Isabelle open-source projects

7
6
6
Our greats ponsors
  • Scout APM - Leading-edge performance monitoring starting at $39/month
  • SaaSHub - Software Alternatives and Reviews
Mentions Stars Project Description
1 26 lots of mini experiments in various languages
1 1

Popular Isabelle Topics

Latest Mentions

Latest mentioned Isabelle repos
Stars Project
26 tangentlabs
1 Lambda-RAM-Compiler
140 cogent
80 ouroboros-high-assurance
360 l4v
9 isabelle-lambda-calculus

Latest Discoveries

Latest discovered Isabelle repos
Stars Project
26 tangentlabs
1 Lambda-RAM-Compiler
140 cogent
80 ouroboros-high-assurance
360 l4v
9 isabelle-lambda-calculus
10 scyther-proof