2 ms·That's fantastic. Would be a great contribution to people interested in formal methods. How's your email?by scvalencia 10y agoThat's fantastic. Would be a great contribution to people interested in formal methods. How's your email?