crypto-agda/agda
Agda is a dependently typed programming language / interactive theorem prover.
Developer Profile
crypto-agda
Discovered public repositories for crypto-agda in the GitHub catalog.
crypto-agda/protocols
Shallow embedding of Protocols using Agda dependent types
crypto-agda/agda-stdlib
The Agda standard library
crypto-agda/crypto-agda.github.io
Public repository.
crypto-agda/explore
Big operators as exploration functions in Agda
crypto-agda/crypto-agda
Cryptographic Constructions in the Type Theory of Agda
crypto-agda/agda-tactics
Reflective proof tactics and metaprogramming for Agda.
crypto-agda/agda-nplib
Proposed extensions to Agda standard's library