Explore projects

documentation for SMGloM project

The course notes and slides of the course "Informatische Werkzeuge der Geistes- und Sozialwissenschaften" at FAU Elangen-Nürnberg

The sTeX explanations of the math content in MathDataHub (will probably be refactored at some point)

An hello world repository for problems and exams for the MathHub worker.

Basics for formal grammars

Metadata for the MMATh documents and formalizations

User Manual and Documents about the ALeA (Adaptive Learning Assistant) System.

The slides and course notes of the course Computational Logic.

meta info for PVS