Formal methods and the future of programmingPublished byblog.janestreet.comon •1 min readI’ve been telling people for the last 25 years that Jane Street as an organization wasFormalMethodsFutureProgrammingLearn moreShareLegalReport
