Where are the machine-checked proofs?

Hi Cardano folks,

Where can I find formal, machine-checked, proofs of Cardano’s properties?
E.g. I heard that parts of Daedalus have now been formally verified, but I don’t see anything that looks like a proof (e.g. something in Agda, Coq, etc.) in the GitHub project.

Sorry if this is a newb question - I just joined the forum today!

Edit: Charles posted some links here.


Obviously was not a newb Question :wink:
Charles does not answer all developer questions that arise, I hope he directed you to what you were looking for. :+1:

1 Like

Good stuff hope to get your thoughts after you read them.


Ah, sorry, didn’t notice you have already linked the Reddit answer )