Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for calculus isabelle
calculus
x
isabelle
x
3 search results found
Ouroboros High Assurance
⭐
80
High-assurance implementation of the Ouroboros protocol family
Utp Main
⭐
30
An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
Isabelle Lambda Calculus
⭐
9
A formal definition and verification of System F. To be extended to System Fc
Related Searches
Lambda Functions Calculus (381)
Haskell Calculus (190)
Python Calculus (176)
Mathematics Calculus (170)
Programming Language Calculus (40)
Definition Calculus (17)
Formal Verification Isabelle (10)
Haskell Isabelle (7)
Coq Isabelle (5)
Ocaml Isabelle (5)
1-3 of 3 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.