diff options
author | Son HO | 2024-04-23 16:49:31 +0200 |
---|---|---|
committer | GitHub | 2024-04-23 16:49:31 +0200 |
commit | 1be37966ceea2510b911b119a96246b4657a62fd (patch) | |
tree | 85ed42e1be3a26741c26843ea06ada806170663a /tests/coq/misc/Makefile | |
parent | f3007820a21d11721507f5054b30bf5ae99a7b95 (diff) | |
parent | e49b92903cbd3dc7c981789cb4121dc89569bed3 (diff) |
Merge pull request #156 from RaitoBezarius/orders
feat(backends/lean): scalars form a linear order
Diffstat (limited to 'tests/coq/misc/Makefile')
0 files changed, 0 insertions, 0 deletions