Issues
- 0
Crash while trying to add invertible cell
#1300 opened by alexarice - 0
Crash Report
#1292 opened by wilfofford - 6
3D Rendering Artefacts
#1291 opened by wilfofford - 3
Crash during torus eversion
#1290 opened by wilfofford - 7
Feature request: Tutorials for basic proofs
#1137 opened by littlebenlittle - 0
Fail to contract the inverses
#1264 opened by HdXu - 0
Better UX for dragging vertices through interchangers?
#1250 opened by kram1032 - 0
"Oriented" flag can't be turned off
#1249 opened by kram1032 - 0
Missing weak unit attachment opportunity
#1189 opened by NickHu - 1
Rendering bug
#1183 opened by NickHu - 1
Source-Target axis in 3D view
#1184 opened by NickHu - 0
Simultaneous 3D and 2D views
#1185 opened by NickHu - 5
Allow making a generator non-invertible
#916 opened by jamievicary - 1
Suspension doesn't work with folders
#1040 opened by calintat - 3
Problem importing .hom file on Apple mobile devices
#1018 opened by jamievicary - 1
Unfolding an invertible definition
#1016 opened by Negabinary - 1
n-fold duals
#1004 opened by calintat - 0
UI for switching slices
#1003 opened by calintat - 1
Strange delays when mousing over slice buttons
#1001 opened by Negabinary - 4
- 0
- 0
Save user settings in local storage
#987 opened by calintat - 1
- 0
- 5
Recursive collapse
#980 opened by NickHu - 0
Add test for cone-wise smoothing bug
#976 opened by calintat - 4
Keyboard shortcuts menu
#977 opened by calintat - 2
- 0
- 4
- 4
Handle actions that take too long
#930 opened by calintat - 1
Peephole view for large diagrams
#943 opened by calintat - 1
- 2
Expansion bug when braiding half-bubbles
#947 opened by calintat - 13
- 3
- 3
Layout crash
#935 opened by mlharaujo - 6
Crash when trying to display huge 5-diagram.
#938 opened by mlharaujo - 2
Problem with rendering of 5-diagram
#906 opened by mlharaujo - 11
- 1
Issue with autosave
#928 opened by mlharaujo - 2
Crash when trying to save theorem
#927 opened by mlharaujo - 4
Test coverage for labelled rewrites
#904 opened by NickHu - 1
Dragging does not create braid
#907 opened by mlharaujo - 7
Autosave feature
#912 opened by NickHu - 3
"Working..." spinner
#913 opened by NickHu - 1
Strange export behaviour
#910 opened by mlharaujo - 6
Possible typechecking bug
#902 opened by calintat - 3
Failed contraction
#899 opened by NickHu - 1
Interchange bead and cup is ill-typed
#898 opened by calintat