summaryrefslogtreecommitdiff
path: root/charon-pin
diff options
context:
space:
mode:
authorAymeric Fromherz2024-05-23 10:58:47 +0200
committerAymeric Fromherz2024-05-23 11:44:28 +0200
commite660a4d575ba55bd23c64b5bd7b4e435be82d7ed (patch)
treee7bba86dc6db9e30a789067107a274b0d1eb9050 /charon-pin
parent71834958a958523a4881d822e729af1ddd78c9df (diff)
Improve formatting of Lean struct projectors
Diffstat (limited to 'charon-pin')
0 files changed, 0 insertions, 0 deletions