diff options
author | Son Ho | 2023-08-09 10:01:32 +0200 |
---|---|---|
committer | Son Ho | 2023-08-09 10:01:32 +0200 |
commit | a2c4ffd56b6f1760374707f083f6c4347b116538 (patch) | |
tree | 4a3b3ba3197261bf279d5be270bf91d23023cbca /backends/lean | |
parent | 967d08107de73f7f151dc8b4fb1f1cc61f109051 (diff) |
Update the nix flake and regenerate the code
Diffstat (limited to 'backends/lean')
0 files changed, 0 insertions, 0 deletions