haschu/nominal-lean.git/Nominal/Category.lean, branch main Formalization of nominal sets in Lean 4. https://git.haschu.me/haschu/nominal-lean.git/atom/Nominal/Category.lean?h=main 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 use simp only everywhere except for last goal 2025-10-24T16:20:43Z Hannes Schulze haschu0103@outlook.de 2025-10-24T16:20:43Z urn:sha1:6df3f662f0f23e837b70ef1f4a8b8dde4a7aa521 basic structure for name abstraction 2025-10-23T21:57:59Z Hannes Schulze haschu0103@outlook.de 2025-10-23T21:41:16Z urn:sha1:f8b2f5190e33f3d1694442a6be32cba97fcef004 add forgetful functors 2025-10-23T20:32:44Z Hannes Schulze haschu0103@outlook.de 2025-10-23T20:32:44Z urn:sha1:4cb79d58996f2601f886a7185e89fa6dd71579e1 add category definition 2025-10-23T11:52:00Z Hannes Schulze haschu0103@outlook.de 2025-10-23T11:52:00Z urn:sha1:40e94df160d011c503fe8dcee39937227de44307