haschu/nominal-lean.git/Algebra/Semantics.lean, branch name-restriction-model
Formalization of nominal sets in Lean 4.
https://git.haschu.me/haschu/nominal-lean.git/atom/Algebra/Semantics.lean?h=name-restriction-model
2025-12-05T22:51:59Z
Alg category
2025-12-05T22:51:59Z
Hannes Schulze
haschu0103@outlook.de
2025-12-05T22:51:59Z
urn:sha1:43942e78f4b3ed4cfca3b508f06161d0983c545e
define algebras
2025-12-05T22:19:57Z
Hannes Schulze
haschu0103@outlook.de
2025-12-05T22:19:57Z
urn:sha1:aa280ca672aff145e811b79f4315ba200a09bad5