3 ms·

Oh man I was literally googling stuff like this last night. Did you know there were verification competitions? [0] [0] https://alastairreid.github.io/verifica

by sn9 2y ago

Oh man I was literally googling stuff like this last night. Did you know there were verification competitions? [0] [0] https://alastairreid.github.io/verification-competitions/ https://alastairreid.github.io/verification-competitions/