Python

1921 readers

1 users here now

A community for talking about the Python programming language.

founded 1 year ago

MODERATORS

[email protected]

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

submitted 5 months ago by [email protected] to c/[email protected]

4 comments fedilink hide all child comments

you are viewing a single comment's thread
view the rest of the comments

[–] [email protected] 1 points 5 months ago

I like the motivation of the problem: use mathematical rigor to guaruntee something that is complex and certainty is a requirement, like crypotcurrency, is valid.

permalink
fedilink
source