Toggle navigation
JUPYTER
FAQ
View on GitHub
Execute on Binder
main
branch
javierdiaz72/common-prefix-proof
javierdiaz72/local-state-preservation-∈-↑∗-proof
knowledge-propagation
main
yveshauser/old-version
tag
ouroboros-praos-formal-spec
Name
input-output-hk's repositories
nix
src
.gitignore
README.md
default.nix
flake.lock
flake.nix
praos-spec.agda-lib
shell.nix