The Tree Proof Generator is a web tool that accepts formulas of standard propositional, predicate or modal logic and tries to find either a countermodel or a tree proof, also called a semantic tableau. It supports classical propositional logic, first-order predicate logic with functions and identity, and a few normal modal logics.
Warbirds Resource Group is a website devoted to collecting and sharing information about historical military aviation, primarily focused on the World War II era. It offers resource centers on various air forces and a warbird registry.
The Mobile Phone Museum is the website of a not-for-profit charity that collects mobile devices to preserve their history and design diversity. It states a collection of over 2800 individual models, offers catalogue and curated collections, and has partnered with PK Porthcurno on an in-person exhibition on the 40-year history of the mobile phone.
Royal Armouries is an educational resource for documentaries, courses, books, reference material, or self-learning.
FolkTexts is a library of folktales, folklore, fairy tales, and mythology edited or translated by D. L. Ashliman of the University of Pittsburgh. The page is the first in an alphabetical index of such texts from many countries and includes links to related folk and fairy tale resources.
A mapping tool that finds the antipodal point of any place on Earth. Users enter a country, city, address, zip code or coordinates, and the site displays the original location on one map and its diametrically opposite location on another. Both maps can be moved and zoomed, and the address and coordinates are shown below each map.
Encyclopedia Mythica is an internet encyclopedia on mythology, folklore and religion, stating it has been online since 1995. It offers search across its articles and sections covering regions including the Americas, Asia, Europe, the Middle East and Oceania, with popular areas such as Greek, Roman, Norse, Arthurian and Māori mythology.
Community notes
Be the first to share how this project worked for you.
Sign in with a verified account to leave a review or join the discussion.
Sign in to reviewKeep exploring
Warbirds Resource Group is a website devoted to collecting and sharing information about historical military aviation, primarily focused on the World War II era. It offers resource centers on various air forces and a warbird registry.
The Mobile Phone Museum is the website of a not-for-profit charity that collects mobile devices to preserve their history and design diversity. It states a collection of over 2800 individual models, offers catalogue and curated collections, and has partnered with PK Porthcurno on an in-person exhibition on the 40-year history of the mobile phone.
Royal Armouries is an educational resource for documentaries, courses, books, reference material, or self-learning.
FolkTexts is a library of folktales, folklore, fairy tales, and mythology edited or translated by D. L. Ashliman of the University of Pittsburgh. The page is the first in an alphabetical index of such texts from many countries and includes links to related folk and fairy tale resources.
A mapping tool that finds the antipodal point of any place on Earth. Users enter a country, city, address, zip code or coordinates, and the site displays the original location on one map and its diametrically opposite location on another. Both maps can be moved and zoomed, and the address and coordinates are shown below each map.
Encyclopedia Mythica is an internet encyclopedia on mythology, folklore and religion, stating it has been online since 1995. It offers search across its articles and sections covering regions including the Americas, Asia, Europe, the Middle East and Oceania, with popular areas such as Greek, Roman, Norse, Arthurian and Māori mythology.
