User contributions for 2003:E3:2F28:EAD5:DC92:8D58:C52C:484
Results for 2003:E3:2F28:EAD5:DC92:8D58:C52C:484 talk block log logs global block log filter log
18 May 2025
- 12:3012:30, 18 May 2025 diff hist +1 Agda (programming language) Coq has been renamed to Rocq current
 | This is the contributions page for an IP user, identified by the user's IP address. Many IP addresses change periodically, and are often shared by several users. If you are an IP user, you may create an account or log in to avoid future confusion with other IP users. Registering also hides your IP address. |