Skip to content

certified inductive environments, projections, and semantic-inversion groundwork - #4

Merged
samuelburnham merged 84 commits into
devfrom
jcb/formalization2
Aug 16, 2026
Merged

certified inductive environments, projections, and semantic-inversion groundwork#4
samuelburnham merged 84 commits into
devfrom
jcb/formalization2

Cleanup

b25f19a
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar