GitHub repository: AviCraimer/type-theory-js
Primary language: JavaScript
Created: 2020-11-15T21:51:35Z
Description: Experimental Implementations of Type Theories in Javascript