Skip to content

mapping to rocq stdlib#51

Open
fblanqui wants to merge 9 commits into
Deducteam:masterfrom
fblanqui:rocq
Open

mapping to rocq stdlib#51
fblanqui wants to merge 9 commits into
Deducteam:masterfrom
fblanqui:rocq

wip

9ed5292
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
build (lambdapi.3.0.0)
succeeded Jul 7, 2026 in 3m 34s