Jeff Erickson

Neal is correct; I was implicitly assuming distinct lengths and distinct length/weight ratios. The proof is still correct without that assumption, but incomplete. Change "when" to "if and only if"...

While I'm flattered by the implied offer, providing a donation button potentially creates a serious conflict of interest with my own students at Illinois. Instead, let me suggest three other...

Echoing @jasonxia17: This would be incredibly useful for CS 374. A **lot** of problems in this class have multiple correct solutions that follow the same basic outline but differ in...

Since this has come up again on Slack, and we really _really_ **really** want this for 374 and 225, let me throw out another vague idea, also related to sharing...

Bump. TheorieLearn still wants this, in whatever level of generality can be provided. I think the most important use case is a strictly linear narrative. Suppose the student is asked...

_Revising_ shared questions has to be supported. (The question might have bugs; the question might rely on external libraries whgose behavior changes; the question might make assumptions about external resources...

It would be great if PL could share all questions with a particular tag as one sharing set. (That's kind of orthogonal to this feature; I also want bulk-tag-editing.)

Bump.

I'll have to think about this some more. There must be an extension of proof-dags to represent alternatives, similar to the casework structure that `pl-order-blocks` already supports. Currently `` indicates...

**On nested cases:** I already have a problem in current written homework that requires handling two independent case distinctions: A string is either empty, a single symbol, or longer (reflecting...