Compiling Formality to the EVM. Cost: ~200 gas per beta-reductionmedium.com2 points·LightMachine··0 commentsOpen articleSaveView on HN