this post was submitted on 02 Aug 2023
1 points (100.0% liked)

Formal Methods

163 readers
1 users here now

founded 1 year ago
MODERATORS
Ategon@programming.dev
synthetic_apriori@programming.dev
1
So you want to be a proof engineer? (proofcraft.org)
submitted 1 year ago by synthetic_apriori@programming.dev to c/formal_methods@programming.dev
0 comments fedilink hide all child comments
no comments (yet)
sorted by: hot top controversial new old
there doesn't seem to be anything here