Labels · KWARC / thesis-projects · GitLab

All

Prioritized labels 0

Drag to reorder prioritized labels and change their relative priority.

Other labels 18

Active Documents

KWARC / thesis-projects
- Issues
- Merge requests
Applications

KWARC / thesis-projects
Applications of KWARC research
- Issues
- Merge requests
Bachelor-level

KWARC / thesis-projects
- Issues
- Merge requests
formal

KWARC / thesis-projects
- Issues
- Merge requests
Foundations

KWARC / thesis-projects
Foundational Research
- Issues
- Merge requests
FrameIT

KWARC / thesis-projects
- Issues
- Merge requests
Frontend

KWARC / thesis-projects
- Issues
- Merge requests
LegalTech

KWARC / thesis-projects
- Issues
- Merge requests
Logic Representation

KWARC / thesis-projects
- Issues
- Merge requests
Master-Level

KWARC / thesis-projects
- Issues
- Merge requests
Math Linguistics

KWARC / thesis-projects
- Issues
- Merge requests
OMDoc/MMT

KWARC / thesis-projects
The MetaMetaTheories Framework developed at KWARC
- Issues
- Merge requests
partially taken

KWARC / thesis-projects
- Issues
- Merge requests
priority

KWARC / thesis-projects
This thesis/project topic is available between distribution meetings.
- Issues
- Merge requests
System

KWARC / thesis-projects
- Issues
- Merge requests
taken

KWARC / thesis-projects
- Issues
- Merge requests
theoretical

KWARC / thesis-projects
- Issues
- Merge requests
UPL

KWARC / thesis-projects
UniFormal Programming Language
- Issues
- Merge requests