Python @sh.itjust.works freewifi @sh.itjust.works 2y ago Translation of Python code to Coq | Formal Land formal.land /blog/2024/05/10/translation-of-python-code