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

Revival

 Revival
Answer more than 30 days after a question was asked as first answer scoring 2 or more. This badge can be awarded multiple times.

earned this badge 1 time.
Converting between formulations of reals in Coq
Awarded Mar 16, 2022 at 0:40

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.