GitHub repository: legalian/urm
Primary language: C++
Created: 2019-03-21T11:23:51Z
Description: reasons using a type theory formalization and provides tools to examine and write type theory statements