1So you want to be a proof engineer?(proofcraft.org)posted 1 year ago bysynthetic_apriori@programming.devMin formal_methods@programming.devView comments0 commentssavehidereportSort:HotTopControversialNewOldWritePreviewBiSubmitNo comments yet!