haschu/nominal-lean.git/Algebra/Terms.lean, branch name-restriction-model
Formalization of nominal sets in Lean 4.
https://git.haschu.me/haschu/nominal-lean.git/atom/Algebra/Terms.lean?h=name-restriction-model
2025-12-05T22:19:57Z
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
more cleanup
2025-12-03T20:52:56Z
Hannes Schulze
haschu0103@outlook.de
2025-12-03T20:45:09Z
urn:sha1:b00c95bd3580a8a8bd779f57a034900140ce41fa