haschu/nominal-lean.git/Nominal.lean, branch main
Formalization of nominal sets in Lean 4.
https://git.haschu.me/haschu/nominal-lean.git/atom/Nominal.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
formalize graded monads
2025-12-02T13:36:03Z
Hannes Schulze
haschu0103@outlook.de
2025-12-02T13:36:03Z
urn:sha1:fc313d4e3e1efafb91052410e86039dfc17f6066
basic structure for name abstraction
2025-10-23T21:57:59Z
Hannes Schulze
haschu0103@outlook.de
2025-10-23T21:41:16Z
urn:sha1:f8b2f5190e33f3d1694442a6be32cba97fcef004
update root module
2025-10-23T11:54:08Z
Hannes Schulze
haschu0103@outlook.de
2025-10-23T11:54:08Z
urn:sha1:f95c4f2bd8a88c4b4b35e77fc45f0f1036d10c9e
further work
2025-10-20T11:13:33Z
Hannes Schulze
haschu0103@outlook.de
2025-10-20T11:13:33Z
urn:sha1:992aa8fdd40521d2cc7ed4759bce92c912cbeb80
initial commit
2025-09-19T11:03:48Z
Hannes Schulze
haschu0103@outlook.de
2025-09-19T11:03:48Z
urn:sha1:c92169d23ec70e453bf1b84c82b224997065e0ff