Intuitive, type-safe expression quotations for Lean 4.
of 10 versions of Qq
1-10Sort by
Date
d892d7a
d892d7a
95561f7
v4.17.0v4.17.07b3b0c8
b131111
f0c584b
ad942fd
303b23f
2c8ae45
9d0bdd0
v4.11.0v4.11.0
d892d7a
d892d7a
95561f7
7b3b0c8
b131111
f0c584b
ad942fd
303b23f
2c8ae45
9d0bdd0