Isaac Defrain
@Isaac-DeFrain
Personal projects
View all- Loading
Loading
About
Pronounced as: Eye sack
Pronouns: he/him
There is beauty in concise functional code with a clearly articulated purpose ❤️🔥 Formally verify all the blockchains!
Info
Functional Programming and Formal Verification at Quantifier
Cincinatti, OH, USA
12:08 PM
Member since November 01, 2018