Results
2
repositories owned by
Tannr
symbolic-stack-machines
70
Stars
8
Forks
Watchers
Library for building symbolically executable stack-based virtual machines
formal-methods-curriculum
119
Stars
9
Forks
Watchers
Formal methods training program with an emphasis on software in the blockchain & decentralized financed (DeFi) industry