Skip to content

Proof debt/standards 133 coq rescue wip - #33

Closed
hyperpolymath wants to merge 4 commits into
mainfrom
proof-debt/standards-133-coq-rescue-wip
Closed

Proof debt/standards 133 coq rescue wip#33
hyperpolymath wants to merge 4 commits into
mainfrom
proof-debt/standards-133-coq-rescue-wip

wip(proof-debt): rescue uncommitted #133 Coq/Lean CNO work [UNVERIFIED]

1a7d7c2
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar