diff options
| author | Son HO | 2024-05-21 11:01:13 +0200 |
|---|---|---|
| committer | GitHub | 2024-05-21 11:01:13 +0200 |
| commit | e07af56862e92efecb09209874ad24da77c0e001 (patch) | |
| tree | 0c98db6c77e8c53b7e2c117aba6407beb053f36e /backends/lean/Base/Progress | |
| parent | dc8ceedffa0945b84f81e318fa78f1e55b1731d2 (diff) | |
| parent | d088e1adbfb20d6f3137b236f750b0ac5fed4f95 (diff) | |
Merge pull request #183 from RaitoBezarius/coercions
feat(backends/lean): make `max`-related coercions nicer
Diffstat (limited to 'backends/lean/Base/Progress')
0 files changed, 0 insertions, 0 deletions