diff options
| author | Son Ho | 2023-05-05 13:46:52 +0200 |
|---|---|---|
| committer | Son HO | 2023-06-04 21:44:33 +0200 |
| commit | b4a1f3233fb90cddbde63cbdf1d63785c81cc682 (patch) | |
| tree | 1bd36064b8a728314cece9b1fe681c0d2c227434 /tests/lean/misc-polonius_list/lakefile.lean | |
| parent | 0b86c9a2b0fcf3a30717d4abf94efad011a7c692 (diff) | |
Update Primitives.lean
Diffstat (limited to 'tests/lean/misc-polonius_list/lakefile.lean')
0 files changed, 0 insertions, 0 deletions