Skip to content

L11: decide graded necessity, spec QTT grade propagation — and fix Modal.idr, which had never compiled - #51

Merged
hyperpolymath merged 1 commit into
mainfrom
feat/l11-qtt-integration
Jul 16, 2026
Merged

L11: decide graded necessity, spec QTT grade propagation — and fix Modal.idr, which had never compiled#51
hyperpolymath merged 1 commit into
mainfrom
feat/l11-qtt-integration

docs(L11): decide graded necessity, spec QTT grade propagation, add C…

cf7f211
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar