Josh Foster
@ewilliams
Great resource for researchers in formal methods. Exciting advances in automated theorem proving.
0 reply
0 recast
0 reaction