kmbarry1 / formal-methods-curriculum Goto Github PK
View Code? Open in Web Editor NEWThis project forked from wilfredta/formal-methods-curriculum
Formal methods training program with an emphasis on software in the blockchain & decentralized financed (DeFi) industry