WilfredTA/formal-methods-curriculum

This is stars and forks stats for /WilfredTA/formal-methods-curriculum repository. As of 05 May, 2024 this repository has 140 stars and 13 forks.

Formal Methods for DeFi Developers Introduction This repository contains a course sequence for training developers in the use & development of formal methods and formal tools. Later material in the curriculum will more greatly emphasize blockchain applications & DeFi, while earlier material is more agnostic (though still contains blockchain-specific material in certain parts). The curriculum assumes basic familiarity with logic and general computer science concepts such as propositional logic,...