GitHub repository: pascalpoizat/fmt
Primary language: Java
Description: formal models and transformations