#

hott

Here are 2 public repositories matching this topic...

konn / vscode-redtt-diagnostics

Diagnostic extension for redtt prover

vscode cubical-type-theory vscode-extension hott theorem-prover homotopy-type-theory redtt

Updated Feb 26, 2022
TypeScript

michaelKurowski / univalence-mappers

Write function for one data type, let it work with all sorts of variations of it

typescript hott univalence homotopy-type-theory

Updated Feb 9, 2024
TypeScript

Improve this page

Add a description, image, and links to the hott topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the hott topic, visit your repo's landing page and select "manage topics."