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

simp only の使い方について明記する #158

Open

Seasawher opened this issue May 14, 2024 · 0 comments

Assignees

Labels

慣習

Member

Seasawher commented May 14, 2024

non terminal simp に対して、ロバストにふるために利用するという重要な使い方がある

https://leanprover-community.github.io/extras/simp.html#non-terminal-simps

Seasawher self-assigned this

Seasawher added the 補足情報 label

Seasawher added the 慣習 label

Seasawher mentioned this issue

linter.flexible を紹介する #941

Closed

Seasawher removed the 補足情報 label

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