https://www.weihrauch-database.eu/ https://www.weihrauch-database.eu/thelist https://www.weihrauch-database.eu/themodels https://www.weihrauch-database.eu/dywp https://www.weihrauch-database.eu/statistics https://www.weihrauch-database.eu/links https://www.weihrauch-database.eu/about https://www.weihrauch-database.eu/contact https://www.weihrauch-database.eu/submit https://www.weihrauch-database.eu/disclaimer