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
Our great sponsors

l4v

cogent
Mentions Stars Project Description
1 26
tangentlabs
 lots of mini experiments in various languages
1 1
Lambda-RAM-Compiler

Popular Isabelle Topics

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

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