haschu/nominal-lean.git/Nominal/LambdaCalculus, branch main
Formalization of nominal sets in Lean 4.
https://git.haschu.me/haschu/nominal-lean.git/atom/Nominal/LambdaCalculus?h=main
2026-04-15T11:22:40Z
update lean
2026-04-15T11:22:40Z
Hannes Schulze
contact@haschu.me
2026-04-14T14:04:44Z
urn:sha1:a5ff8efe5b5e314e0aa759318e5fb194e066f612
refactor equivariant props to use type classes
2025-12-03T19:34:41Z
Hannes Schulze
haschu0103@outlook.de
2025-12-03T19:34:41Z
urn:sha1:71a6a3d5b6f4b428b463bc4a0766c91d8c1d5768
minor cleanup
2025-12-02T10:52:55Z
Hannes Schulze
haschu0103@outlook.de
2025-12-02T10:52:15Z
urn:sha1:a8915795c109980285e11ed53d453987c0917069
finish initial lambda terms modulo alpha-equivalence
2025-12-01T22:49:06Z
Hannes Schulze
haschu0103@outlook.de
2025-12-01T22:49:06Z
urn:sha1:732b74059139428115aadad9b29653351f000c8a
prove pick_fresh
2025-12-01T19:29:38Z
Hannes Schulze
haschu0103@outlook.de
2025-12-01T19:29:38Z
urn:sha1:a9cd1a6993873882bf4d47a7443a530df8eec0fc
update lean
2025-11-30T21:33:32Z
Hannes Schulze
haschu0103@outlook.de
2025-11-30T21:20:35Z
urn:sha1:e02ad2dcc0f93107c18f8316b386b92b45548e97
wip terms
2025-11-20T10:56:18Z
Hannes Schulze
haschu0103@outlook.de
2025-11-20T10:56:18Z
urn:sha1:ea38ef0cb2c57e10696c7fb6108732a6f454818c
prove supp of preterms
2025-10-30T12:11:43Z
Hannes Schulze
haschu0103@outlook.de
2025-10-30T12:11:43Z
urn:sha1:80b248c5be656dd2b3ba753871aeeb7102e92ff8
implement lambda preterms
2025-10-30T10:29:19Z
Hannes Schulze
haschu0103@outlook.de
2025-10-30T10:29:19Z
urn:sha1:ca0c7d5e75a631d0e6689ee21d017404046f3f12