GitHub repository: yabaitechtokyo/satysfi-derive
Primary language: JavaScript
Created: 2020-12-28T04:40:39Z
Description: SATySFi commands and DSL for displaying derivation trees with maintainable code