summaryrefslogtreecommitdiff
path: root/tests/lean/External/FunsExternal.lean
diff options
context:
space:
mode:
authorNadrieril2024-06-26 16:24:27 +0200
committerNadrieril2024-06-28 08:18:47 +0200
commitc00d337f48cbaf56a5b81f396c2f18ae811aee5a (patch)
tree587d1396610dc9be70e4d973eb737aef3d378743 /tests/lean/External/FunsExternal.lean
parent3f07bf067fe725c2bc60b12139ff9cba13375c6a (diff)
Update charon
Diffstat (limited to 'tests/lean/External/FunsExternal.lean')
0 files changed, 0 insertions, 0 deletions