| Location | Langford University (fictional) |
| Developed by | Amelia Hawkins and colleagues |
| Tailored for | Computer science • Formal reasoning • Software engineering • Artificial intelligence |
| Alternative to | |
| Foundation for | Mathematics |
| Aims to address | Russell's Paradox • other paradoxes |
