Giters
RAIRLab
/
ShadowProver
The definitive DCEC theorem prover built on SNARK.
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
1
Watchers:
10
Issues:
1
Forks:
0
RAIRLab/ShadowProver Issues
Java Version Compatibility Issues
Closed
3 months ago