nilqed/SNARK
SNARK - SRI's New Automated Reasoning Kit
source-id=282 version=0 project-id=282 project-version=0
Type | GITHUB |
---|---|
Created at | 2019-03-19 05:08:12 UTC |
Source | https://github.com/nilqed/SNARK |
Branch or tag | master |
Last seen commit | 582338fd45347580b659debadaf53caca949fcfc |
Release | http://dist.ultralisp.org/ultralisp/archive/n/nilqed-SNARK-20190319054116.tgz |
Systems |
|
Distributions | ultralisp |
Last check | Finished 5 days 6 hours ago. Next check will be made in 1 day 17 hours. |