GitHub repository: vittau/kripfy
Primary language: TypeScript
Created: 2018-12-07T13:03:18Z
Description: A Kripke structure modelling framework