10000 chore: adjust DecidableRel instance for leOfOrd by kim-em · Pull Request #5537 · leanprover/lean4 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

chore: adjust DecidableRel instance for leOfOrd#5537

Draft
kim-em wants to merge 1 commit intomasterfrom
decidableRelLEOfOrd
Draft

chore: adjust DecidableRel instance for leOfOrd#5537
kim-em wants to merge 1 commit intomasterfrom
decidableRelLEOfOrd

Commits

Commits on Sep 30, 2024
0