Explore projects

The Episciences Remote Control tool for episciences journals like LMCS

Coq formalization of guarded iteration a la https://www8.cs.fau.de/_media/research:papers:elgot-retract.pdf.

A Coq formalization of "Negative Translations and Normal Modality".

An abortive attempt by Ulrich R. to formalize de Groote's paper

BSc project of Michael Banken on simulating counter machines

CORQUE stands for CORecursive eQUations over Effects. This project contains a Coq formalization of complete Elgot monads, their corecursive extensions and background proofs for the paper Unguarded Recursion on Coinductive Resumptions...

The Coalgebraic Partition Refiner

A generic reasoner for modal and hybrid logics; it can be instantiated to any modal or hybrid logic admitting an axiomatization in terms of so-called rank-1 rules or axioms