Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
1
0
0
7
This framework allows for modular reuse, composition, and extension of a subset of Lean type and function definitions, and semantic subtyping relations between component and composite types are discussed both at the type theoretic and implementation levels.