Skip to content

Issues: homotopy-io/homotopy-rs

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort

Issues list

Crash while trying to apply theorem
#1443 opened Aug 4, 2024 by edegeltje
Automatically crop PNG exports
#1432 opened Jun 14, 2024 by calintat
LaTeX injection bug
#1366 opened Mar 19, 2024 by robertmaxton42
Crash when trying to apply inverse
#1360 opened Mar 12, 2024 by bazsi700
Why doesn't this contract?
#1358 opened Mar 9, 2024 by wilfofford
Crash when expanding definition
#1357 opened Mar 9, 2024 by wilfofford
Can't Press Import
#1356 opened Mar 8, 2024 by wilfofford
Holes in 4D Renderer
#1317 opened Feb 1, 2024 by wilfofford
Crash Report
#1292 opened Dec 20, 2023 by wilfofford
Fail to contract the inverses
#1264 opened Nov 5, 2023 by HdXu
Simultaneous 3D and 2D views
#1185 opened Aug 2, 2023 by NickHu
Source-Target axis in 3D view
#1184 opened Aug 2, 2023 by NickHu
Rendering bug
#1183 opened Aug 2, 2023 by NickHu
ProTip! Updated in the last three days: updated:>2024-11-16.