Qq
Intuitive, type-safe expression quotations for Lean 4.
of 25 versions of Qq
1-20Sort by
Date
1ef3dac
v4.22.0-rc4v4.22.0-rc44.1 MB1ef3dac
v4.22.0-rc4v4.22.0-rc44.1 MB867d9dc
v4.22.0-rc3v4.22.0-rc34.1 MB0632bcc
v4.22.0-rc2v4.22.0-rc24.1 MBb73db43
v4.22.0-rc1v4.22.0-rc14.1 MBe9c65db
v4.21.0v4.21.0e1d2994
v4.21.0-rc3v4.21.0-rc33.4 MB6a42c3d
v4.21.0-rc2v4.21.0-rc2f827c08
v4.21.0-rc1v4.21.0-rc12865ea0
v4.20.0v4.20.036ce5e1
v4.20.0-rc2v4.20.0-rc23.4 MB855608d
v4.20.0-rc1v4.20.0-rc13.4 MBfa4f7f1
v4.19.0v4.19.0aa4c87a
v4.19.0-rc2v4.19.0-rc23.4 MB7597f60
v4.19.0-rc1v4.19.0-rc10e05c2f
v4.18.0v4.18.0d892d7a
v4.18.0-rc1v4.18.0-rc13.4 MB95561f7
v4.17.0v4.17.07b3b0c8
v4.17.0-rc1v4.17.0-rc13.3 MBb131111
v4.16.0v4.16.03.3 MB