5 ms·Compiling Formality to the EVM. Cost: ~200 gas per beta-reduction2 points by LightMachine 7y ago