User talk:2A02:A451:96BC:1:D4C4:E6E9:9E7F:70E2

February 2019
Hello, I'm Gilliam. I wanted to let you know that one or more of your recent contributions to Coq have been undone because they 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 Help Desk. Thanks. – Gilliam (talk) 19:31, 10 February 2019 (UTC)
 * If this is a shared IP address, and you did not make the edits, consider creating an account for yourself or logging in with an existing account so you can avoid further irrelevant notices.