Closed FeynmanZhou closed 8 months ago
Notation v1.0.1 is released on Nov 7. The Notation Homebrew and Winget package managers are also in progress. We need to update the website banner and CLI installation guide to v1.0.1.
Notation v1.0.1 is released on Nov 7. The Notation Homebrew and Winget package managers are also in progress. We need to update the website banner and CLI installation guide to v1.0.1.