haschu/nominal-lean.git/Nominal/Helpers/CountableString.lean, branch name-restriction-model
Formalization of nominal sets in Lean 4.
https://git.haschu.me/haschu/nominal-lean.git/atom/Nominal/Helpers/CountableString.lean?h=name-restriction-model
2025-12-02T10:52:55Z
minor cleanup
2025-12-02T10:52:55Z
Hannes Schulze
haschu0103@outlook.de
2025-12-02T10:52:15Z
urn:sha1:a8915795c109980285e11ed53d453987c0917069
update lean
2025-11-30T21:33:32Z
Hannes Schulze
haschu0103@outlook.de
2025-11-30T21:20:35Z
urn:sha1:e02ad2dcc0f93107c18f8316b386b92b45548e97
implement lambda preterms
2025-10-30T10:29:19Z
Hannes Schulze
haschu0103@outlook.de
2025-10-30T10:29:19Z
urn:sha1:ca0c7d5e75a631d0e6689ee21d017404046f3f12