Qq
Intuitive, type-safe expression quotations for Lean 4.
of 30 versions of Qq
1-20Sort by
Date
345a958
v4.24.0-rc1v4.24.0-rc1345a958
v4.24.0-rc1v4.24.0-rc19b703a5
v4.23.0v4.23.0f85ad59
v4.23.0-rc2v4.23.0-rc24.3 MB917bfa5
v4.22.0v4.22.03a2156d
v4.23.0-rc1v4.23.0-rc14.3 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-rc1