high-assurance-legacy VS 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

I haven't worked there for a year or so and don't remember specifics like KLOCs, just that they're dotted around internal and public repos :)

The actual code implementing it is a little hard to find (as always with the quite convoluted and scarcely documented Haskell sources of IOG). I'd suspect it to be somewhere in https://github.com/input-output-hk/cardano-ledger/tree/master/eras.

That's just rubbish, you can stop trying to create a false narrative now. Minpoolcost was in the Shelley design spec and deliverables, it's not something **evil Charles** come up with because he felt like it.

See for yourselves all the commits in the source repo for the implementation, it is sooo active: https://github.com/input-output-hk/cardano-ledger/commits/master

The formula for the mid-ada-value can be found here. Which is essentially:

Blockchain - I find it's one of the few fields really investing in formal methods at the moment (my old boss recently opened a research center at Carnegie Mellon in formalizing maths actually). Two repos with specs are:

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

This is a helpful article! : https://github.com/input-output-hk/cardano-ledger/blob/master/doc/explanations/features.rst I am invested in both the ERC20 and the native token. However, there’s greater demand currently for the ERC20 tokens.