Explore projects

FrameIT Paper for CICM16

Authors: Denis Rochau, Michael Kohlhase, Dennis Mueller

Proposal (draft) for a COST action dedicated to mathematical data

a new EU EOSC proposal

Demo of the Grammatical Logical Framework for a paper submitted to lfmtp 2019.

This is the frontend repository where issues and wikis regarding the Sally4 project are hosted.

Moved to https://github.com/MathHubInfo/MoSIS_Jupyter_Kernel

KAT papers

An attempt at a new KWARC web site based on the one from OpenDreamKit

The Blue Notes of the SMGloM project