search

leanprover-community / quote4

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

bump lean 10-20 #4

Closed digama0 closed 2 years ago