GitHub repository: wizygium/jorp
Created: 2015-10-06T12:00:29Z
Description: weakest preconditions for projects