rygorous, 1 month ago @aeva @danluu That's a type of testing, not a formal method.
@aeva @danluu That's a type of testing, not a formal method.