Wow definitely want to pick your brain. How large/# of LOC were the Agda, Isabel... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

dwohnitmok on Feb 1, 2022 | parent | context | favorite | on: Software Development Languages: Haskell

Wow definitely want to pick your brain. How large/# of LOC were the Agda, Isabelle, and Coq specs? What industry was this?

exdsq on Feb 1, 2022 [–]

Blockchain - two repos with specs are:

* https://github.com/input-output-hk/cardano-ledger

* https://github.com/input-output-hk/plutus

There's quite a few recent Isabelle repos such as https://github.com/input-output-hk/high-assurance-legacy

Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact