Contributor
@jeltsch
repos
7
ecosystems
1
languages
2
commits
1,007
Legacy code connected to the high-assurance implementation of the Ouroboros protocol family
A general-purpose process calculus with support for arbitrary data
A Haskell library for on-disk tables based on LSM-Trees
An automated equivalence reasoner for Isabelle/HOL
Formal proofs of equivalences of different kinds of networks
Support for working with labeled transition systems
Formalization of the Cardano ledger specification
Subscriber view
Already a subscriber? Sign in with the same email used at checkout.
