Explore projects

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.

KAT papers

The Blue Notes of the SMGloM project

Competition between python TicTacToe AIs

papers/manuals on the OAF build system.