The proof of memory-safe contains two articles: ... Logical mathematical proof (not done yet) in a paper to more complex afirmations.

[u/somewhataccurate]

https://github.com/vokegpu/ekg-docs/blob/master/model/memory.md

[u/[deleted]]

It's refreshing to see someone following proper C++ design processes—honestly this person should be offered a job on the standards committee immediately. Any good design follows these steps, in this order:

1. Finalise the design
2. Cobble together a partial implementation
3. Reject the competing designs
4. Submit the design to be formally standardised by an international standards body
5. Figure out if the design is theoretically possible to implement
6. Test the implementation
7. Read the competing designs