search

dfinity / examples

Example applications, microservices, and code samples for the Internet Computer
https://dfinity.org
Apache License 2.0
508 stars 324 forks source link

theorem prover #12

Open blynn opened 4 years ago

blynn commented 4 years ago

@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.

github-actions[bot] commented 1 week ago

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