New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

`#html` コマンドを紹介する #1142

Closed

Seasawher opened this issue Nov 18, 2024 · 0 comments · Fixed by #1143

Assignees

Labels

対話的コマンド

Member

Seasawher commented Nov 18, 2024

ProofWidgets4 の機能をざっくり紹介する感じ

Seasawher added the 対話的コマンド label

Seasawher self-assigned this

Seasawher mentioned this issue

#html コマンドを紹介する #1143

Merged

Seasawher closed this as completed in #1143

Seasawher closed this as completed in

e50f31f

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment