Denver BitDevs

​Keagan McLelland (@proofofkeags) will speak on formal verification of Bitcoin using agent based software engineering workflows to unlock a style of programming that is uniquely suited to Bitcoin's values of rock solid core infrastructure

This will be an advanced software engineering topic. Some recommended reading to come prepared:

https://proofofkeags.com/research/2026-05-12-formal-vibefication.html

and

https://vitalik.eth.limo/general/2026/05/18/fv.html

​and then please read Keagan's latest email to the Google Bitcoin Dev Mailing List:

​https://groups.google.com/g/bitcoindev/c/OIml9stwbGQ