duve
@jevonduve
logics and categories. like to play with dependent types. 24. vegan. penn. doing formal methods @logic_int
452 Following 616 Followers
required reading to get on here talking about formal verification
