Home
Welcome to the Redmine of the Programming Systems Lab. If you encounter problems or something does not work as expected, please write an email to sysads@ps.uni-saarland.de
To modify your account details (change the password, set up mail forwards etc.) please use our
Account Management Tool
Latest projects
-
Completness and Decidability for Modal Logics (04/21/2016 11:20 AM)
Coq Development accompanying the Thesis "A Machine-Checked Constructive Metatheory of Computation Tree Logic"