Skip to content

Track HLevels of Sets and Theories#40

Open
mvr wants to merge 9 commits into
mainfrom
coln-compiler/hlevels
Open

Track HLevels of Sets and Theories#40
mvr wants to merge 9 commits into
mainfrom
coln-compiler/hlevels

Punt on `layout` for `Prop`, for now

09fef4a
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
rust-clippy
succeeded Jun 24, 2026 in 22s