Explore projects

Articles describing the library export

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

Logic Atlas, Version 2

FormalCAD Project Content

The SMGloM modules for elementary algebra.

The metadata for the MaMoReD project at MathHub.info

EXPERIMENTAL: Requriements Analysis for a future Foundation for MitM.

This repository contains libraries that are meant as "general purpose programming" libraries