GitHub repository: wilcoxjay/mypyvy
Primary language: Python
Created: 2018-07-13T21:03:02Z
Description: A language for symbolic transitions system, inspired by Ivy.