Sam Estep

What is the status of this issue? I also found it surprising that `Ctrl-Alt-O` does not work as specified in the README. Is this issue blocked by the need to...

I'm curious how adding `or` or `not` would interact with #986.

With the optimizer? That would surprise me... could you post information about the crash here and your reasoning as to why it seems like the optimizer is at fault?

This is on commit 7d0d4bfc78e1e5592a4c36e5a231af9517dacaca, correct? (just to make sure I'm looking at the same line numbers)

Oh! Actually this makes a lot of sense. I was thinking about this recently: your call stack size depends not just on how many stack frames you have, but also...

Hey @Vtec234, thanks for reaching out! Exciting to hear that Lean folks are using Penrose :) This question gets at a longstanding design tension we've had, essentially about whether to...

@cmumatt @joshsunshine I cleaned up this PR; do you think it's ready to merge? I haven't yet actually read through all the implementation code for calculating closest points to verify...

@ZiyaoWei Thanks for reaching out again! Sorry for not following up earlier; @wodeni and I are both temporarily away from Penrose this summer due to internships, and I made a...

@ZiyaoWei > Super long turnaround time, sorry :-) No worries! > I finally managed to get around to this, but if #1075 is correct this seems trivial? Cool! Yeah, this...

Hmm, can't we just do this downstream? Process the textual error message directly? I mean, I'm happy to also submit an upstream PR about this, but it seems like in...