This release contains the source of the SSReflect tactic language for Lean 4, accompanying the ITP'24 submission titled
Small Scale Reflection for the Working Lean User
by Vladimir Gladshtein, George Pîrlea, and Ilya Sergey
Please, refer to the README.md file in the root of the artifact for building and using instructions. Examples from the paper can be found in the file Examples/Paper.lean.