Skip to main content

Questions tagged [terminology]

For questions about words, phrases and definitions that are specific to proof assistants.

Filter by
Sorted by
Tagged with
18 votes
3 answers

What is a Proof Assistant?

How would you explain to a beginner in simple terms, what a Proof Assistant is?
taylor.2317's user avatar
  • 1,318