GitHub repository: vetlewi/oslo-method-software
Primary language: Mercury
Description: Software for the Oslo Method