Closed FeynmanZhou closed 10 months ago
PR #281 updates binary version, links, and banner
@FeynmanZhou I think this issue can be closed
We have two items that are not completed yet. Maybe we can close this one and create another issue to track the remaining items
This issue is stale because it has been open 60 days with no activity. Remove stale label or comment or this will be closed in 30 days.
This issue was closed because it has been stalled for 30 days with no activity.
Notation v1.0.0 will be released in a few days after the naming issue is resolved. We will need to update the installation guide accordingly.