Questions tagged [big-list]
Questions designed to generate a "big list" of certain results, examples, conjectures, etc. via many individual answers, each contributing one or a few instances. If the question is not objective consider the tag soft-question.
2 questions
17
votes
7
answers
989
views
What are some examples of proof assistants doing something useful? [closed]
I know that Proof Assistants can be used in fact-checking, but what else can they be used for? How would they be used for specific roles, including industry jobs and everyday life?
- 1,348
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