Intuitive, type-safe expression quotations for Lean 4.
of 16 versions of Qq
1-16Sort by
Date
36ce5e1
36ce5e1
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
303b23f
2c8ae45
9d0bdd0
v4.11.0v4.11.0