@byroncook
logic, math, proof, computation
calendar_today08-02-2009 19:27:05
164 Tweets
1,5K Followers
9 Following
2 years ago
model-checking.github.io/kani-verifier-…