search

leanprover-community / quote4

Intuitive, type-safe expression quotations for Lean 4.
Apache License 2.0
75 stars 12 forks source link

chore: switch from lakefile.lean to lakefile.toml #46

Open kim-em opened 4 months ago