This is a related question to
for which it seems there is no answer. However as there might be an answer some day am leaving that question and asking this question that others are dancing with in the comments of that question.
As this will be an open ended list type question, do not expect an accept vote on any answer. If you know of a prover (proof assistants, theorem provers, interactive theorem prover) that is making use of a system of quoting that derives from Lisp quote then just add an answer.
If you do not know what
- Lisp quote
are please do not answer. It took me a few years before I really understood quasiquotations and a few more to learn much of the heredity.