Skip to content

attempt at Fibonacci example#50

Draft
garrigue wants to merge 10 commits into
rocq-community:masterfrom
garrigue:fibo
Draft

attempt at Fibonacci example#50
garrigue wants to merge 10 commits into
rocq-community:masterfrom
garrigue:fibo

wip: do the remaining cases param.elpi

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

Annotations

1 warning
rocq-core
succeeded Jun 4, 2026 in 40s