summaryrefslogtreecommitdiff
path: root/tests/lean
diff options
context:
space:
mode:
authorSon Ho2023-05-05 13:46:52 +0200
committerSon HO2023-06-04 21:44:33 +0200
commitb4a1f3233fb90cddbde63cbdf1d63785c81cc682 (patch)
tree1bd36064b8a728314cece9b1fe681c0d2c227434 /tests/lean
parent0b86c9a2b0fcf3a30717d4abf94efad011a7c692 (diff)
Update Primitives.lean
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions