Skip to content

Add builtin to the tc app - #1042

Draft
Tragicus wants to merge 7 commits into
LPCIC:masterfrom
Tragicus:mixin-tc
Draft

Add builtin to the tc app#1042
Tragicus wants to merge 7 commits into
LPCIC:masterfrom
Tragicus:mixin-tc

review

2e52cf4
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
rocq-elpi
succeeded Jun 17, 2026 in 1m 23s