feat: add Lean backend generation

[RaitoBezarius]

This generates the TinyArm model for Lean.

[lfrenot]

I think having the --lean-force-output option would be useful, to be able to run it multiple times without deleting the output folder in between

[lfrenot]

Also, I would add the SailTinyArm folder that gets generated to gitgnore

[RaitoBezarius]

That seems fair to add, yeah! Le mar. 11 févr. 2025, 15:34, lfrenot ***@***.***> a écrit :

…

***@***.**** commented on this pull request. Also, I would add the SailTinyArm folder that gets generated to gitgnore — Reply to this email directly, view it on GitHub <#3 (review)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AACMZREEZKBZZMNTPAV2IE32PIJ7XAVCNFSM6AAAAABW5G6TOGVHI2DSMVQWIX3LMV43YUDVNRWFEZLROVSXG5CSMV3GSZLXHMZDMMBZGEZTQMJQHA> . You are receiving this because you authored the thread.Message ID: ***@***.***>

[tperami]

Do you intend to finish this, or should I close it as stale?

[tperami]

Closed as stale, reopen if needed