Add formal/: machine-checked coverage and compaction arguments in Lean - #776

Add formal/: machine-checked coverage and compaction arguments in Lean#776

frankmcsherry merged 1 commit into

TimelyDataflow:master-nextTimelyDataflow/differential-dataflow:master-nextfrom

frankmcsherry:formalfrankmcsherry/differential-dataflow:formalCopy head branch name to clipboard