chore: naming convention and `NaN` normalization

leanprover / lean4

Lean 4 programming language and theorem prover

https://lean-lang.org

Apache License 2.0

4.75k stars 428 forks source link

Closed leodemoura closed 1 week ago

leodemoura commented 1 week ago

Changes:

leanprover-community-bot commented 1 week ago

Mathlib CI status (docs):

❗ Batteries/Mathlib CI will not be attempted unless your PR branches off the nightly-with-mathlib branch. Try git rebase ecbaeff24b2cb36d5c218f4ed6c92d6d55524048 --onto 9a8543347796e52070ff7936661ae48fcebfea60. (2024-11-16 00:17:18)