Skip to content

chore: 📝 Rocqdoc deflist sample - #2047

Merged
affeldt-aist merged 1 commit into
math-comp:masterfrom
proof-ninja:yoshihiro503@deflist_example
Jul 24, 2026
Merged

chore: 📝 Rocqdoc deflist sample#2047
affeldt-aist merged 1 commit into
math-comp:masterfrom
proof-ninja:yoshihiro503@deflist_example

chore: :memo: Rocqdoc deflist sample

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

Annotations

1 error
rocq-elpi
failed Jul 22, 2026 in 4s