Python

2045 readers

1 users here now

A community for talking about the Python programming language.

founded 2 years ago

MODERATORS

csm10495

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

submitted 11 months ago by freewifi to c/python

3 comments fedilink hide all child comments

all 4 comments

sorted by: hot top controversial new old

[–] [email protected] 1 points 11 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