Discussions

• 1 You must be logged in to vote

  🙏

  Is there a proof that S¹ × S¹ ≃ T²?

  ice1000 asked Apr 23, 2024 in Q&A · Answered

  

  

  2
• 1 You must be logged in to vote

  📣

  Call for testing: jsUniMath

  benediktahrens announced Jun 27, 2023 in Announcements

  

  

  

  

  15
• 1 You must be logged in to vote

  🙏

  Comments on use of RR1 in Foundations?

  ReimannJ asked Nov 7, 2023 in Q&A · Unanswered

  

  

  0
• 1 You must be logged in to vote

  💬

  Removing -type-in-type

  ReimannJ started Aug 31, 2023 in General

  

  

  

  

  3
• 1 You must be logged in to vote

  💬

  Which version to ship with Coq Platform 2023.10?

  benediktahrens started Oct 5, 2023 in General

  

  

  3
• 1 You must be logged in to vote

  💡

  What can we learn from Lean?

  nmvdw started Sep 6, 2023 in Ideas

  

  

  3
• 1 You must be logged in to vote

  💬

  How to handle (smallish) contributions that do not fit into an existing repository?

  benediktahrens started Jun 19, 2023 in General

  

  

  

  

  3
• 2 You must be logged in to vote

  📣

  List of papers involving UniMath

  benediktahrens announced Jun 2, 2023 in Announcements

  

  

  

  

  4
• 1 You must be logged in to vote

  💬

  Automatically uploading documentation to unimath.github.io whenever there's a new release

  nmvdw started Apr 20, 2023 in General

  

  

  

  

  5
• 1 You must be logged in to vote

  💬

  Connecting UniMath to Zenodo

  nmvdw started Apr 17, 2023 in General

  

  

  

  

  12
• 1 You must be logged in to vote

  💬

  Using linear history when merging PRs

  m-lindgren started Mar 31, 2023 in General

  

  

  

  

  4
• 1 You must be logged in to vote

  💬

  Which UniMath version to ship with Coq Platform 8.17

  benediktahrens started Feb 28, 2023 in General

  

  

  

  

  20
• 1 You must be logged in to vote

  💬

  UniMath User Meeting

  benediktahrens started Mar 2, 2023 in General

  

  

  

  

  14
• 1 You must be logged in to vote

  💬

  UniMath: general or domain-specific?

  benediktahrens started Feb 9, 2023 in General · Closed

  

  

  7
• 1 You must be logged in to vote

  📣

  Welcome to UniMath Discussions!

  benediktahrens announced Feb 9, 2023 in Announcements

  

  

  0