If you find this site useful or just support what I'm doing, I'd really appreciate if you could donate. To cover server costs and for the hundreds of hours I've put into making this happen.

Monero address: 41stbw8H14hFk5QZh4mJiHcX1tHFDwB6r56wVNdkCvkR5Z5JEivJ4ZADDHHSpRNgnJfHn3xJ7RNnjbpgFzgX8udMT9GLBrA

If you spot content on this site that is genuinely illegal or actually puts someone in real danger, contact [email protected]. We have multiple agents reviewing tickets 24/7. Note that we try to maintain as much transparency as possible, both about ourselves and of the actions of Wikipedians. For example, if we removed a live link to CSAM content that was posted by a Wikipedia admin, we would replace it a placeholder like "<link to CSAM that was posted by Demiurge1000 redacted by Undersight>". Note that "I don't like it" is NOT a valid removal reason.

If instead you are a Wikipedophile trying to get all the dark secrets of Wikipedia censored, please follow this guide instead.

If you would like to contact the owner of this about something else (e.g. press inquires, feature requests, bug reports), e-mail [email protected] or [email protected].

Revision 107422477 of "Diskussion:Coq (Software)" on dewiki

All content in the above text box is licensed under the Creative Commons Attribution-ShareAlike license Version 4 and was originally sourced from https://de.wikipedia.org/w/index.php?oldid=107422477.

This site is not affiliated with or endorsed in any way by the Wikimedia Foundation or any of its affiliates. In fact, we fucking despise them.