4 ms·
>Is there a way to do lightweight incremental proof checking in a typical say Python or Javascript codebase Running a JavaScript codebase through the Typescrip
by logicchains 3y ago
>Is there a way to do lightweight incremental proof checking in a typical say Python or Javascript codebase
Running a JavaScript codebase through the Typescript compiler is a lightweight way to do incremental proof checking, albeit it can only check proofs about the soundness of the code.