theorem prover

Open blynn opened this issue 5 years ago • 1 comments

@krzysztofwos suggested a theorem prover. We can prove and store theorems and use them to prove more theorems, and since the IC is tamper-proof, we can trust all the results.

Like a trusted compiler app, this also needs some way for the anyone to retrieve the hash of a given canister.

Mar 26 '20 18:03 blynn

This issue is stale because it has been open for 30 days with no activity.

Jul 01 '24 01:07 github-actions[bot]

This issue was closed because it has been inactive for 14 days since being marked as stale.

Jul 16 '24 01:07 github-actions[bot]