haschu/nominal-lean.git/Nominal/Instances/Finsupp.lean, branch main
Formalization of nominal sets in Lean 4.
https://git.haschu.me/haschu/nominal-lean.git/atom/Nominal/Instances/Finsupp.lean?h=main
2026-04-15T14:18:47Z
fs constructions
2026-04-15T14:18:47Z
Hannes Schulze
contact@haschu.me
2026-04-15T14:18:07Z
urn:sha1:2e5f7e22761bd30857bbe067862a8b256805ecd8