This is a very simple attempt trying to mimic some of the behaviour found in LaTex theoremsi system.
Guilherme Nakayama
October 8, 2024 5:36pm
MIT