topazas·7 เดือนที่ผ่านมา·discussRight, but let's assume we have really simple crud application in mainstream language, could be ts or python. What are current best approaches to have this semi-formally verified, tools, methods, etc?
topazas·ปีที่แล้ว·discussNo name scientists will create an actual product. Plain funny or just sad?...