haschu/nominal-lean.git/Nominal/Instances.lean, branch main
Formalization of nominal sets in Lean 4.
https://git.haschu.me/haschu/nominal-lean.git/atom/Nominal/Instances.lean?h=main
2025-10-23T11:26:16Z
refactor: move instances
2025-10-23T11:26:16Z
Hannes Schulze
haschu0103@outlook.de
2025-10-23T11:26:16Z
urn:sha1:dc1b4ffb712bb0c411b907cf1395fa790207a8ce
add equivariant instances
2025-10-23T11:24:26Z
Hannes Schulze
haschu0103@outlook.de
2025-10-23T11:24:26Z
urn:sha1:d75abcb4dc8bdc9feb93941f05d2e162abaf0af3
define equivariance
2025-10-23T08:43:50Z
Hannes Schulze
haschu0103@outlook.de
2025-10-23T08:43:50Z
urn:sha1:fe96f2d6674bda67b66d5c8c5ce7eea4e2b26031
add freshness
2025-10-23T07:47:09Z
Hannes Schulze
haschu0103@outlook.de
2025-10-23T07:47:09Z
urn:sha1:7a4e25ebbc9e470650851299659860b4c07bff6b
always require infinite, countable, equality-decidable atoms
2025-10-22T21:34:14Z
Hannes Schulze
haschu0103@outlook.de
2025-10-22T21:34:14Z
urn:sha1:281326b9b7eb6561526f02ff37eab9c39aa83b58
update imports
2025-10-22T21:30:39Z
Hannes Schulze
haschu0103@outlook.de
2025-10-22T21:30:39Z
urn:sha1:b1a5137ed3f2d7810a1670d2e3888e8a87d89b02
add product and coproduct instances
2025-10-22T19:51:54Z
Hannes Schulze
haschu0103@outlook.de
2025-10-22T19:51:54Z
urn:sha1:32f51048343ee23e6382e5aff37308ec015fcdf3
further simplifications
2025-10-21T22:11:09Z
Hannes Schulze
haschu0103@outlook.de
2025-10-21T21:51:23Z
urn:sha1:1207e99c440de6af718a7fdef1810b726925cdb9
restructure
2025-10-21T19:45:34Z
Hannes Schulze
haschu0103@outlook.de
2025-10-21T19:45:34Z
urn:sha1:e2bde40a31e0ab0fea7e412bd2f9b03edcc026dd