Explore projects

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

A math archive with the KWARC bibs from https://github.com/KWARC/bibs

Problems for the IWGS course at FAU

Homework/Quiz problems for AI lectures

Applications of SMGloM, a semantic multilingual resource for mathematics -- glossaries and dictionaries.

Practice (quiz) problems for the course AI-1/2 provided by Praveen; to be moved to the respective archives later after proof-reading

Number Theoretic Functions

FormalCAD Project Content