Skip to content
2.0.0
Andy Oertel's avatar
Andy Oertel
@aoer
58927211 · Add selflogging for stronger implication check · 
Version 2 of the proof format.

Sync up VeriPB version with proof format version.