arnaucube
/
protogalaxy-poc
mirror of https://github.com/arnaucube/protogalaxy-poc.git
1
1
Fork 0
Code Issues Projects Releases Wiki Activity
4 Commits
1 Branch
0 Tags
176 KiB
Tree: 004fd80b88
Branches Tags
${ item.name }
Create branch ${ searchTerm }
from '004fd80b88'
${ noResults }
Commit Graph

1 Commits (004fd80b88b08acd38a794d4f9a87d9cde612ecb)

Author SHA1 Message Date
  arnaucube 004fd80b88 add eval_f & check_instance methods, add initial Folding prover structure 1 year ago