3 ms·Did you have previous experience with formal verification and/or dependent types?by solomonb 2mo agoDid you have previous experience with formal verification and/or dependent types?