Search results

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

Status: Open.

#160 In UniMath/largecatmodules;

· rmatthes opened on Feb 17, 2026

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

Status: Open.

#147 In UniMath/largecatmodules;

· rmatthes opened on Mar 2, 2023

Formalize examples

Status: Open.

#76 In UniMath/largecatmodules;

· benediktahrens opened on Sep 12, 2018

Axiom of choice

Status: Open.

#75 In UniMath/largecatmodules;

· amblafont opened on Sep 12, 2018

Make a small summary file

Status: Open.

#65 In UniMath/largecatmodules;

· benediktahrens opened on Sep 8, 2018

Make NonRaw package compile

Status: Open.

#51 In UniMath/largecatmodules;

· benediktahrens opened on Apr 14, 2018

Rename HssToArity to SignatureToArity

Status: Open.

#33 In UniMath/largecatmodules;

· benediktahrens opened on Jan 7, 2018

Arities -> Half arities

Status: Open.

#32 In UniMath/largecatmodules;

· amblafont opened on Jan 5, 2018