HoTT Coq-HoTT Ideas · Discussions · GitHub

Sort by: Latest activity

Ideas Discussions

Share ideas for new features

You must be logged in to vote

A variant of the WildCat Yoneda lemma

jdchristensen started Aug 30, 2023 in Ideas · Closed

7
You must be logged in to vote

Should we wrap comments?

Alizter started Feb 19, 2023 in Ideas

2
You must be logged in to vote

Should we use cumulative inductives by default?

Alizter started Jun 25, 2021 in Ideas

2
You must be logged in to vote

Discussions page for repo
discussion
Alizter started Jun 18, 2021 in Ideas

10