Hack Upstate X – Build. Break. Collaborate.

  • October 7 - October 8 2017
  • 235 Harrison St, Syracuse, NY 13202
  • 28 Attending

Necessarily Valid Proofs [nvproof]

A logic proof validator.

nvproof is a command line program that validates logic proofs. It also allows for the composing of logic proofs with real time validation using an interpreter interface.


Team Members