July 9, 2021

Many miscellaneous and usability changes.
Emits more type information.
Rule R changes are pending.

July 2, 2021

July 2, 2021 push to production.
Many improvements, notably:

• Experimental support for rudimentary theory libraries.
• Substantial changes to worksheet management UIs.
• Improvements to handling of errors when decoding proof steps.

May 2021

Work in progress, May 2021.