GitHub repository: raffopazzo/libtt
Primary language: C++
Created: 2022-12-05T00:13:26Z
Description: C++ Library for Type Theory