Intuitive, type-safe expression quotations for Lean 4.
of 13 versions of Qq
1-13Sort by
Date
aa4c87a
aa4c87a
7597f60
v4.19.0-rc1v4.19.0-rc10e05c2f
v4.18.0v4.18.0d892d7a
95561f7
v4.17.0v4.17.07b3b0c8
b131111
f0c584b
ad942fd
303b23f
2c8ae45
9d0bdd0
v4.11.0v4.11.0