Issues

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

  UniMath/largecatmodules#160 · Filter by author rmatthes opened on Feb 17, 2026

• how can I do the Dune build on my local machine?

  UniMath/largecatmodules#147 · Filter by author rmatthes opened on Mar 2, 2023
  2

  

• Formalize examples

  UniMath/largecatmodules#76 · Filter by author benediktahrens opened on Sep 12, 2018

• Axiom of choice

  UniMath/largecatmodules#75 · Filter by author amblafont opened on Sep 12, 2018

• Make a small summary file

  UniMath/largecatmodules#65 · Filter by author benediktahrens opened on Sep 8, 2018
  2

• Make NonRaw package compile

  UniMath/largecatmodules#51 · Filter by author benediktahrens opened on Apr 14, 2018

• Rename HssToArity to SignatureToArity

  UniMath/largecatmodules#33 · Filter by author benediktahrens opened on Jan 7, 2018
  

• Arities -> Half arities

  UniMath/largecatmodules#32 · Filter by author amblafont opened on Jan 5, 2018