Proof Assistants Beta

Tag Editor

 Tag Editor
First tag wiki edit.

earned this badge 1 time.
Awarded Feb 14, 2022 at 5:25
No longer available

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.