Issues

• configuration for ProofGeneral with a Dune build of UniMath and this satellite

  UniMath/SetHITs#25 · Filter by author rmatthes opened on Feb 17, 2026

• does not compile with Coq 8.20 release candidate 1

  UniMath/SetHITs#22 · Filter by author rmatthes opened on Jul 1, 2024
  6

• CI settings seem outdated

  UniMath/SetHITs#21 · Filter by author rmatthes opened on Feb 7, 2024

• Document the recommended local build workflow in a README or similar

  UniMath/SetHITs#18 · Filter by author peterlefanulumsdaine opened on May 22, 2023
  1

• Explicitly enable universe checking

  UniMath/SetHITs#17 · Filter by author peterlefanulumsdaine opened on May 22, 2023