Thanks to visit codestin.com
Credit goes to github.com

Commits

Commits on Sep 11, 2022

Merge PR #16474: [CI] Fix the compilation of relation_algebra.

coqbot-app[bot]
and
Zimmi48
authored

Commits on Sep 10, 2022

[CI] Fix the compilation of relation_algebra.
ppedrot
committed

Commits on Sep 9, 2022

Merge PR #16444: Make names of opened containers more precisely typed

coqbot-app[bot]
and
ppedrot
authored

Commits on Sep 7, 2022

Merge PR #16465: [stdlib] [Arith] Typo in user message: Nat.add_com should be Nat.add_comm

coqbot-app[bot]
and
proux01
authored
Merge PR #16456: Remove type-unsafe primitives in Proof.focus_kind.

coqbot-app[bot]
and
SkySkimmer
authored
correct typo Nat.add_com -> Nat.add_comm
olaure01
committed

Commits on Sep 6, 2022

Merge PR #16004: make warn_deprecated_hint_without_locality AsError

coqbot-app[bot]
and
ppedrot
authored

Commits on Sep 5, 2022