haschu/nominal-lean.git/Nominal/Instances, branch main
Formalization of nominal sets in Lean 4.
https://git.haschu.me/haschu/nominal-lean.git/atom/Nominal/Instances?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
update lean
2026-04-15T11:22:40Z
Hannes Schulze
contact@haschu.me
2026-04-14T14:04:44Z
urn:sha1:a5ff8efe5b5e314e0aa759318e5fb194e066f612
define algebras
2025-12-05T22:19:57Z
Hannes Schulze
haschu0103@outlook.de
2025-12-05T22:19:57Z
urn:sha1:aa280ca672aff145e811b79f4315ba200a09bad5
implement derivable equality
2025-12-04T16:14:46Z
Hannes Schulze
haschu0103@outlook.de
2025-12-04T16:14:46Z
urn:sha1:8fdf459876b999dbe184196f9abd330a3c24d560
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
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
refactor equivariance namespaces
2025-10-28T23:40:13Z
Hannes Schulze
haschu0103@outlook.de
2025-10-28T23:40:13Z
urn:sha1:5dde77b6db9fc78094363f91e0c6643a84be513e
name abstraction functor
2025-10-28T22:41:02Z
Hannes Schulze
haschu0103@outlook.de
2025-10-28T22:41:02Z
urn:sha1:8f1d3f45f11aae5d611a66c424b6427f379a8251