|
|
|
|
|
|
by logicchains
974 days 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. |
|
|