Just collecting my wishes here (which I'll tell Claude at some point):
- Change "[ ] Verified only" to "[ ] verified, [ ] parseable, [ ] sampleable"
- Have the family be part of the metadata
- support multiline formulas
- make sorting consistent across views
- maybe actually have github generate the HTML via a github action
- make formula copyable via standard web stuff
- show stan code? (as per @sunxd3 question/suggestion)
- probable more...
Just collecting my wishes here (which I'll tell Claude at some point):