A repository containing specifications and proofs about Ferros.
Primary LanguageAgdaApache License 2.0Apache-2.0