User talk:91.231.41.40

January 2024
Hello, I'm Tropicalkitty. I wanted to let you know that I reverted one of your recent contributions—specifically this edit to Coq (software)—because it did not appear constructive. If you would like to experiment, please use the sandbox. If you have any questions, you can ask for assistance at the Teahouse or the Help desk. Thanks. Tropicalkitty (talk) 20:28, 15 January 2024 (UTC)