Add reference to fm-ledger-formalization repo

IntersectMBO · Nov 11, 2019 · 7c4c9ea · 7c4c9ea
1 parent ff1c3d0
commit 7c4c9ea
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -22,6 +22,8 @@ following links:
 - [Explanation of the Small-step-semantics Framework](https://hydra.iohk.io/job/Cardano/cardano-ledger-specs/semanticsSpec/latest/download-by-type/doc-pdf/semantics-spec)
 - [Simple Script-Based Multi-Signature Scheme](https://hydra.iohk.io/job/Cardano/cardano-ledger-specs/shelleyLedgerSpec/latest/download-by-type/doc-pdf/multi-sig)
 
+In addition, there is a formalization of the Ledger Specification in Isabelle/HOL which can be found [here](https://github.com/input-output-hk/fm-ledger-formalization).
+
 # Repository structure
 
 This repo contains formal (LaTeX) and executable (Haskell model) specs for both