Skip Navigation

Python @sh.itjust.works

freewifi @sh.itjust.works

1y ago

Translation of Python code to Coq | Formal Land

🐍 Translation of Python code to Coq | Formal Land

0 comments

Python !python@sh.itjust.works