Academic notespaper-reviews/index.typI4: Incremental Inference of Inductive Invariants for Verification of Distributed Protocolspaper-reviews/2020-10-22-i4.typIronfleet: Proving Practical Distributed Systems Correctpaper-reviews/2020-10-27-ironfleet.typBacklinksindex.typ