3 ms·I would lean towards types and property testing here using tools like Coq.by pclowes 1y agoI would lean towards types and property testing here using tools like Coq.aljgz 1y agoCan you elaborate?