haschu/nominal-lean.git/Nominal/LambdaCalculus/Preterms.lean, branch graded-algebra Formalization of nominal sets in Lean 4. https://git.haschu.me/haschu/nominal-lean.git/atom/Nominal/LambdaCalculus/Preterms.lean?h=graded-algebra 2025-12-03T19:34:41Z 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 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