summaryrefslogtreecommitdiff
path: root/tests/coq/misc
diff options
context:
space:
mode:
authorSon HO2024-04-15 20:01:59 +0200
committerGitHub2024-04-15 20:01:59 +0200
commit23da71768c03d955c916635bfc5c9d5806a80187 (patch)
tree818252b795167a9a6ee366c85e901273d38b8374 /tests/coq/misc
parent2545ad25384156d7d8d798567bc922be798a20e3 (diff)
parentc1c33de85906bda71cac098ddba0e5dfc98c85d2 (diff)
Merge pull request #126 from RaitoBezarius/scalar-preorders
lean: scalars form a preorder
Diffstat (limited to 'tests/coq/misc')
0 files changed, 0 insertions, 0 deletions