Intuitive, type-safe expression quotations for Lean 4.
of 23 versions of Qq
1-20Sort by
Date
0632bcc
0632bcc
b73db43
e9c65db
v4.21.0v4.21.0e1d2994
6a42c3d
v4.21.0-rc2v4.21.0-rc2f827c08
v4.21.0-rc1v4.21.0-rc12865ea0
v4.20.0v4.20.036ce5e1
855608d
fa4f7f1
v4.19.0v4.19.0aa4c87a
7597f60
v4.19.0-rc1v4.19.0-rc10e05c2f
v4.18.0v4.18.0d892d7a
95561f7
v4.17.0v4.17.07b3b0c8
b131111
f0c584b
ad942fd