Explore projects

Dieses Repositorium enthält eine Analyse der Softwareanforderungen des "Taschengeldfalles"

A SMGloM archive for mathematical Software

The logical foundation(al theories) used by MitM projects

just a backup of the jedit extension for my masterproject/masterthesis

This repository contains the MMT-translation of the SoftwareFoundations book.

testing blob encoding

sTeX Descriptions of the VoLL-KI Systems

Elementary set theory for the SMGloM