User contributions for 2003:E3:2F28:EAD5:DC92:8D58:C52C:484
Jump to navigation
Jump to search
18 May 2025
- 12:3012:30, 18 May 2025 diff hist +13,983 N Agda (programming language) Coq has been renamed to Rocq current