Closed GuangDai closed 3 years ago
You must create one yourself. I haven't been able to figure out how to make Obsidian see the file internally yet so you you'll have to edit it in a standalone editor.
On a similar issue, it would be nice if the README file included an MWE and the steps required to get it going.
Sure!
I've added a MWE example that uses bussproofs
+ a custom macro in the preamble, I've updated the README.md
as well. I'm going to close this issue as a result.