haschu/nominal-lean.git/Algebra/Term.lean, branch main Formalization of nominal sets in Lean 4. https://git.haschu.me/haschu/nominal-lean.git/atom/Algebra/Term.lean?h=main 2025-12-03T20:52:56Z more cleanup 2025-12-03T20:52:56Z Hannes Schulze haschu0103@outlook.de 2025-12-03T20:45:09Z urn:sha1:b00c95bd3580a8a8bd779f57a034900140ce41fa differentiate bw substitution and uniform substitution 2025-12-03T20:22:03Z Hannes Schulze haschu0103@outlook.de 2025-12-03T20:22:03Z urn:sha1:2edae587eee2ed64f66a4e4bedca6e654ad2f708 clean up nominal algebra terms 2025-12-03T20:06:17Z Hannes Schulze haschu0103@outlook.de 2025-12-03T20:06:17Z urn:sha1:d7660ed1688a486b48f1c968e742ff85490e497f 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 start defining nominal algebra terms 2025-12-02T19:21:44Z Hannes Schulze haschu0103@outlook.de 2025-12-02T19:21:44Z urn:sha1:4ba4f11725d42286a2e94ee78dd938636ad2528a