feat: add comparator CI to verify theorem `ff` - #19

sqrt-of-2 wants to merge 1 commit into

feat: add comparator CI to verify theorem `ff`#19
sqrt-of-2 wants to merge 1 commit into
YaelDillies:masterfrom
sqrt-of-2:add-comparator-ci

feat: add comparator CI to verify theorem `ff`