haschu/nominal-lean.git/Nominal/NameRestriction/Finsupp.lean, branch name-restriction-model Formalization of nominal sets in Lean 4. https://git.haschu.me/haschu/nominal-lean.git/atom/Nominal/NameRestriction/Finsupp.lean?h=name-restriction-model 2026-01-12T16:07:26Z cleanup 2026-01-12T16:07:26Z Hannes Schulze haschu0103@outlook.de 2026-01-12T16:07:26Z urn:sha1:c02833bceaa69c632285dde4742a91b332d41c6a add model at depth 0 2026-01-10T15:32:45Z Hannes Schulze haschu0103@outlook.de 2026-01-10T15:32:45Z urn:sha1:6a22f35300afdd1cbe93e03818456b4d25a5b5d8