As of May 31, 2023, we have updated our Code of Conduct.
Proof Assistants Beta

Good Answer

 Good Answer
Answer score of 25 or more. This badge can be awarded multiple times.

earned this badge 5 times.
Non-trivial difference(s) between Computer Algebra System and Proof Assistant
Awarded Apr 1 at 15:41
What is an algebraic data type?
Awarded Jul 20, 2022 at 2:26
What is predicativity?
Awarded Mar 17, 2022 at 1:26
In Lean, what do double curly brackets mean?
Awarded Feb 16, 2022 at 16:05
What set-theoretic definitions can't easily be formalized in a type theory?
Awarded Feb 12, 2022 at 10:25

Others with this badge

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.