3 ms·Anyone know if there is anyone working on an equivalent of ascl or verifast for golang?by andrewchambers 8y agoAnyone know if there is anyone working on an equivalent of ascl or verifast for golang?