Skip to content

Merge branch 'main' into claude/peaceful-meitner-EFJ7I

6479715
Select commit
Loading
Failed to load commit list.
Merged

proofs: first Idris2 corpus (order theory) + proof-corpus CI gate #30

Merge branch 'main' into claude/peaceful-meitner-EFJ7I
6479715
Select commit
Loading
Failed to load commit list.