search

homotopy-io / homotopy-rs

A Rust/WASM implementation of homotopy.io
https://homotopy.io
BSD 3-Clause "New" or "Revised" License
76 stars 5 forks source link

Crash when expanding definition #1357

Open wilfofford opened 3 months ago

wilfofford commented 3 months ago

epand step.hom.zip

When I click the theorem at the bottom of this workspace to expand its definition, the tool crashes but only after trying to do something for several minutes. Is the computation just too expensive?