V2.3.1 - #51

Merged

aleksnanevski merged 18 commits into

Aug 6, 2026

Commits on Aug 6, 2026

preparing for rocq-9.2/mathcomp-2.6.0
aleksnanevski
committed
11e65e2
Merge branch 'master' into v2.3.0
aleksnanevski
committed
8c8bea7
minor fixes
aleksnanevski
committed
3bef4a5
added graph and schorr examples
aleksnanevski
committed
8e6415c
renaming coq -> rocq
aleksnanevski
committed
d093d8b
renaming coq -> rocq
aleksnanevski
committed
4cc8a84
preparing v2.3.0
aleksnanevski
committed
494b6d7
preparing v2.3.0
aleksnanevski
committed
17ee600
minor
aleksnanevski
committed
bcd068f
preparing v2.3.0
aleksnanevski
committed
a3ae5ac
removing dependence on dune
aleksnanevski
committed
32c112c
fixing
aleksnanevski
committed
8df16aa
fixes
aleksnanevski
committed
6199d95
fixes
aleksnanevski
committed
aba1e33
fixes
aleksnanevski
committed
5d20c9e
fixes
aleksnanevski
committed
3dcbc65
fixes
aleksnanevski
committed
bef7d5e
again
aleksnanevski
committed
ad519fa