sjtug / mirror-docker-unified

Infrastructure of SJTUG mirrors
https://mirror.sjtu.edu.cn
Apache License 2.0
50 stars 12 forks source link

elan: add proofwidget #477

Closed timechess closed 3 months ago

timechess commented 3 months ago

Please merge https://github.com/sjtug/mirror-clone/pull/127 and release a new version before merge this PR.

timechess commented 3 months ago

@PhotonQuantum