GitHub repository: katrielalex/confluin
Primary language: Python
Created: 2018-04-20T11:04:58Z
Description: confluin does confluence checks for Tamarin input files