Skip to content

QTT fundamentals coupling: my-qtt verified-core checker + Idris substitution-algebra slices - #116

Merged
hyperpolymath merged 5 commits into
mainfrom
claude/dreamy-hypatia-O8XHo
Jun 18, 2026
Merged

QTT fundamentals coupling: my-qtt verified-core checker + Idris substitution-algebra slices#116
hyperpolymath merged 5 commits into
mainfrom
claude/dreamy-hypatia-O8XHo

feat(my-qtt): QTT verified-core checker — faithful Rust port of Coq R…

da9363c
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar