Explore projects

C

Software / CoPaR
GNU General Public License v3.0 or later

The Coalgebraic Partition Refiner

3

Updated Dec 17, 2024

3 0 5 6

Updated Dec 17, 2024
M

Merlin / master-thesis

0

Updated Feb 23, 2019

0 0

Updated Feb 23, 2019
M

Software / ModuresErl

Paul Wild's development of Aarhus ModuRes library

0

Updated Mar 08, 2019

0 0 0 0

Updated Mar 08, 2019
G

Software / gqm-coq
MIT License

0

Updated Aug 06, 2020

0 0 0 0

Updated Aug 06, 2020