User contributions for 2A01:CB04:157:B600:B018:676D:4699:8433
Jump to navigation
Jump to search
3 October 2025
- 07:1407:14, 3 October 2025 diff hist +7 Dyadic rational new name Coq -> Rocq current