Closed FeynmanZhou closed 5 months ago
We recently cut a new release v1.1.0 for Notation. The Notation installation guide and banner on the header need to be updated to v1.1.0 accordingly.
We recently cut a new release v1.1.0 for Notation. The Notation installation guide and banner on the header need to be updated to v1.1.0 accordingly.