v0.3.0
Matt Busel's avatar
Matt Busel
@mattbusel
aa34c543 · 0.3.0 (cont.): 56 real bugs fixed by making 76 never-run tests pass, real networking, docs ·
Release: proof-engine v0.3.0 
proof-engine 0.3.0