GitHub repository: mxmo0rhuhn/hsThesisValidator
Primary language: Java
Description: Simple project that uses the map-reduce framework to verify the right cancellation law.