This topic was moved by Kevin Kappelmann to #Announcements > StackExchange proposed site ProofAssistants
Last updated: Jul 15 2025 at 16:29 UTC