Translation of Python code to Coq | Formal Land : python@sh.itjust.works

Translation of Python code to Coq | Formal Land (formal.land)

submitted 2 years ago by freewifi@sh.itjust.works to c/python@sh.itjust.works

comment fedilink hide all child comments

no comments (yet)

sorted by: hot top controversial new old

there doesn't seem to be anything here