Translation of Python code to Coq | Formal Land
formal.land 🐍 Translation of Python code to Coq | Formal Land
We are starting to work on a new product, coq-of-python. The idea of this tool is, as you can guess, to translate Python code to the proof system Coq.
![🐍 Translation of Python code to Coq | Formal Land](https://sh.itjust.works/pictrs/image/545c9f1a-193a-4d56-93bf-6567dc269c84.png?format=webp&thumbnail=256)
Announcing py2wasm: A Python to Wasm compiler
wasmer.io Announcing py2wasm: A Python to Wasm compiler · Blog · Wasmer
py2wasm converts your Python programs to WebAssembly, running them at 3x faster speeds
![Announcing py2wasm: A Python to Wasm compiler · Blog · Wasmer](https://sh.itjust.works/pictrs/image/4b2651ac-3069-43af-a111-fb9cc4250616.png?format=webp&thumbnail=256)
Guido in the NY Times crossword
framapiaf.org Barbara Shaurette :python: (@bshaurette@social.linux.pizza)
Attached: 1 image in today’s NY Times crossword (this is how you know he’s finally made it):
![Barbara Shaurette :python: (@bshaurette@social.linux.pizza)](https://sh.itjust.works/pictrs/image/5bb1d39b-3aac-48c0-a261-caaf837dc99f.jpeg?format=webp&thumbnail=256)
Next
freewifi @sh.itjust.works
Posts 6
Comments 0