Skip to content

Make sure that lean.bib is always normalized#400

Merged
PatrickMassot merged 1 commit intoleanprover-community:lean4from sorawee:normalize-lean-bibDec 4, 2023
+35-2

Commits

Commits on Nov 22, 2023