Fix import blocks

mdickinson · mdickinson · commit 111ebd99120d · 2025-05-17T10:24:34.000+01:00
diff --git a/proofs/fraction_to_float.py b/proofs/fraction_to_float.py
@@ -1,5 +1,4 @@
 import typing
-
 from math import gcd
 
 
