feat: add Zig and Lean 4 language support + property tests#8

rand merged 3 commits into

mainrand/homer:mainfrom

feat/add-zig-lean-languagesrand/homer:feat/add-zig-lean-languagesCopy head branch name to clipboard