Most likely a question using this tag can be traced back to an existing theorem or proof and the proof assistant is being used to formalize the proof or assist in understanding and completing the proof.
Guy Coder
- 2.8k
- 1
- 12
- 38