Boost stdlib development#83

Open

proux01 wants to merge 15 commits intorocq-prover:masterfrom

proux01:boost-stdlib-dev

Commits on Feb 6, 2024

First draft for Stdlib CEP
proux01
committed

Commits on Feb 13, 2024

Keep Setoid in coq-stdlib
proux01
committed

Commits on Feb 15, 2024

Refine package split
proux01
committed

Commits on Feb 17, 2024

Commits on Mar 6, 2024

Update CEP following March 5th call
proux01
committed

Commits on Mar 21, 2024

Typos

proux01
and
jfehrle
committed

Commits on Mar 29, 2024

Improve motivations section
proux01
committed

Commits on Apr 12, 2024

Update alternatives in text.md
andres-erbsen
authored

Commits on Apr 16, 2024

Suggestion of Guillaume Melquiond to improve confusing paragraph
proux01
committed

Commits on Apr 17, 2024

Commits on Apr 18, 2024

Commits on Apr 21, 2024

Precisions
proux01
committed

⚡