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

証明無関係の説明に誤り #573

Closed

Seasawher opened this issue Aug 4, 2024 · 0 comments · Fixed by #576

Assignees

Labels

データ型バグ・誤り

Member

Seasawher commented Aug 4, 2024

命題と証明項を混同している箇所がある

Seasawher added バグ・誤りデータ型 labels

Seasawher self-assigned this

Seasawher added a commit that referenced this issue


          証明無関係の説明に誤り

a827508

Fixes #573

Seasawher mentioned this issue

証明無関係の説明に誤り #576

Merged

Seasawher closed this as completed in #576

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