A web application for first-order model checking in graph structures.
This project and the accompanying bachelor's thesis were inspired by the research group Theoretical Computer Science / Formal Methods by the University of Kassel. The parsing and validation logic of the backend is built upon a Java desktop application by Arno Ehle and Benedikt Hruschka.
Note: This project is also known as gramoFO.
- 🛠 Users: Manage (administrative) users of the Apollo-Backend
- ✨ Assignments: Manage assignments of the Apollo-Backend
- 📱/💻 Responsive: Optimized for screens of all sizes
- 📶 PWA: Installable with local caching
- 🌐 Localization: Fully localized in English and German
- 🌗 Themes: Dark and light designs
# install dependencies
$ yarn install
# serve with hot reload at localhost:3000
$ yarn dev
# build for production and launch server
$ yarn build
$ yarn start
# generate static project
$ yarn generateFor detailed explanation on how things work, check out Nuxt.js docs.
BSD 3-Clause License - Copyright © Jan Müller