All Questions
1 question
3
votes
4
answers
241
views
What provers are using quote, quotations or quasiquotations?
This is a related question to
Is there a consolidated or partial list noting the use of quasiquotation with provers?
for which it seems there is no answer. However as there might be an answer some ...
- 2,856