Explore projects

View master-thesis project

Merlin / master-thesis

0

Updated Feb 23, 2019

0 0

Updated Feb 23, 2019
View ModuresErl project

Software / ModuresErl

Paul Wild's development of Aarhus ModuRes library

0

Updated Mar 08, 2019

0 0 0 0

Updated Mar 08, 2019
View CoPaR project

Software / CoPaR

The Coalgebraic Partition Refiner

3

Updated Mar 03, 2025

3 0 5 6

Updated Mar 03, 2025
View gqm-coq project

Software / gqm-coq

0

Updated Aug 06, 2020

0 0 0 0

Updated Aug 06, 2020