Skip Navigation
Formal Methods @programming.dev synthetic_apriori @programming.dev

So you want to be a proof engineer?

proofcraft.org /blog/proof-engineer-reading.html
0
0 comments