leanprover-community/lean-liquid

Finalize all the constants

jcommelin opened this issue · 0 comments

jcommelin commented
Finalize all the constants