this post was submitted on 15 May 2024
1 points (100.0% liked)

Python

1913 readers
3 users here now

A community for talking about the Python programming language.

founded 1 year ago
MODERATORS
csm10495@sh.itjust.works
1
Translation of Python code to Coq | Formal Land (formal.land)
submitted 4 months ago by freewifi@sh.itjust.works to c/python@sh.itjust.works
1 comments fedilink hide all child comments
top 1 comments
sorted by: hot top controversial new old
[–] NegativeLookBehind@lemmy.world 1 points 4 months ago

I’m sorry, what is it called?