3 ms·Simple Cryptol specifications – Exploring formal verification (part 2)2 points by ttaubert 10y ago