HoTT Coq-HoTT General · Discussions · GitHub

Sort by: Latest activity

Categories

General Discussions

Chat about anything and everything here

You must be logged in to vote

Merge queues

Alizter started Sep 3, 2023 in General · Closed

5
You must be logged in to vote

Compiling library against multiple versions of Coq at the same time

Alizter started Mar 8, 2023 in General

0
You must be logged in to vote

Should we drop proviola support?

Alizter started Feb 26, 2023 in General · Closed

2
You must be logged in to vote

WildCat Equiv.compose_cate can't compose maps between different universes

jdchristensen started Jan 27, 2023 in General · Closed

16