On Monday, 4 June 2018 at 15:48:35 UTC, DigitalDesigns wrote: > Just curious if something exists that allows for mathematical > validation such code in an relatively canonical way. This isn't > too hard for pure functions but dealing with non-pure functions > can be a pain. Something like HACL? https://github.com/mitls/hacl-c