Skip to content

lean: the type model, subtyping, and a self-checking oracle - #760

Draft
lwshang wants to merge 7 commits into
rewritefrom
lean-core
Draft

lean: the type model, subtyping, and a self-checking oracle#760
lwshang wants to merge 7 commits into
rewritefrom
lean-core

lean: enforce two spec rules, fix two citations, wire `lake test`

639d16f
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar