diff options
author | Son Ho | 2024-04-12 16:47:40 +0200 |
---|---|---|
committer | Son Ho | 2024-04-12 16:47:40 +0200 |
commit | 0a258c03bc49b4d3d89b3ce0f73b1c57e38f4eeb (patch) | |
tree | 19541337b81ba7d6901949dc6d2e932fe6395d64 /tests/coq/traits/Primitives.v | |
parent | 03a175b423c9ccff2160300c4d349978f9b1aeb9 (diff) |
Start adding integer functions to the Lean library
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions