search

leanprover-community / quote4

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

chore: adaptations for nightly-2024-05-09 #43

Closed semorrison closed 3 months ago