Difference between revisions of "SNARK: SRI's New Automated Reasoning Kit"
Jump to navigation
Jump to search
| Line 1: | Line 1: | ||
| − | [[wikipedia: | + | [[wikipedia:SNARK (theorem prover)]] |
Revision as of 16:59, 25 August 2022
Advertising:
