Explore projects

Presentation for the COMMA 2020 of "Structure or Content? Towards assessing Argument Relevance"

Bachelor's thesis project Mario Surleont

adds access to prob via vscode

A language server implementation for B, using ProB as backend, based on Java/Kotlin

The Camille Editor for Rodin