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
