GitHub repository: mgree/kmt
Primary language: OCaml
Created: 2018-09-20T17:48:53Z
Description: Kleene algebra modulo theories