Search results

Title: Add CeTZ export support

Status: Open.

#1500 In homotopy-io/homotopy-rs;

· chantakan opened on Oct 25, 2025

Crashed when editing a point

Status: Open.

#1489 In homotopy-io/homotopy-rs;

· anshwad10 opened on Jun 25, 2025

Crash while trying to collapse proof

Status: Open.

#1485 In homotopy-io/homotopy-rs;

· ineswright opened on Mar 12, 2025

Unexpected crash when expanding the signature of a theorem

Status: Open.

#1482 In homotopy-io/homotopy-rs;

· ricky136973 opened on Mar 3, 2025

using homotopy.io to do exercises in Picturing Quantum Processes and Categories for Quantum Theory

Status: Open.

#1476 In homotopy-io/homotopy-rs;

· delbert opened on Jan 26, 2025

The new interface is less intuitive

Status: Open.

#1444 In homotopy-io/homotopy-rs;

· richardsouthwell opened on Aug 5, 2024

Crash while trying to apply theorem

Status: Open.

#1443 In homotopy-io/homotopy-rs;

· edegeltje opened on Aug 4, 2024

Automatically crop PNG exports

Status: Open.

#1432 In homotopy-io/homotopy-rs;

· calintat opened on Jun 14, 2024

Crash when attempting to apply swallowtail rules in regular slice

Status: Open.

#1429 In homotopy-io/homotopy-rs;

· kimworrall opened on Jun 7, 2024

LaTeX injection bug

Status: Open.

#1366 In homotopy-io/homotopy-rs;

· robertmaxton42 opened on Mar 19, 2024

crash when trying to add attachment in slice

Status: Open.

#1364 In homotopy-io/homotopy-rs;

· kimworrall opened on Mar 14, 2024

Crash when contracting braids into same singular height

Status: Open.

#1363 In homotopy-io/homotopy-rs;

· zshepherd01 opened on Mar 13, 2024