Difference between revisions of "SNARK: SRI's New Automated Reasoning Kit"

From wikieduonline
Jump to navigation Jump to search
(Created page with "wikipedia:Snark")
 
Tags: Mobile web edit, Mobile edit
 
(7 intermediate revisions by the same user not shown)
Line 1: Line 1:
[[wikipedia:Snark]]
+
[[wikipedia:SNARK (theorem prover)]]
 +
 
 +
 
 +
* [[Automated theorem proving]] (ATP)
 +
 
 +
* [[zk-SNARK]]
 +
 
 +
== See also ==
 +
* {{SNARK}}
 +
* {{eth2}}
 +
 
 +
[[Category:ATP]]

Latest revision as of 22:48, 1 September 2022

Advertising: