Isabelle LibHunt

Discover popular and related Isabelle open-source projects

8
11
11
Our great sponsors
  • Nanos - Run Linux Software Faster and Safer than Linux with Unikernels
  • Scout APM - A developer's best friend. Try free for 14-days
  • SaaSHub - Software Alternatives and Reviews
Our great sponsors

cogent

elle

l4v
Mentions Stars Project Description
We couldn't find any libraries for the selected period

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
483 elle
376 l4v
29 tangentlabs
1 Lambda-RAM-Compiler
146 cogent
80 ouroboros-high-assurance
9 isabelle-lambda-calculus

Latest Discoveries

Latest discovered Isabelle repos
Stars Project
483 elle
29 tangentlabs
1 Lambda-RAM-Compiler
146 cogent
80 ouroboros-high-assurance
376 l4v
9 isabelle-lambda-calculus
11 scyther-proof

99remotejobs.com

Find remote jobs at our new job board 99remotejobs.com.
There are 34 new remote jobs listed recently.
Are you hiring? Post a new remote job listing for free.