summaryrefslogtreecommitdiff
path: root/backends/lean/Base
diff options
context:
space:
mode:
authorNadrieril2024-05-27 17:33:56 +0200
committerNadrieril2024-05-28 11:36:31 +0200
commitc81c96f20b1dbf428a9ed42e83b910e798e1a225 (patch)
treeb01e01eb4bcec7112399647943047bed3b58cad1 /backends/lean/Base
parent9cc69020773cc77965a6faa6f0d46f179de3d8b8 (diff)
Add some tests
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions