haschu/nominal-lean.git/Algebra.lean, branch name-restriction-model
Formalization of nominal sets in Lean 4.
https://git.haschu.me/haschu/nominal-lean.git/atom/Algebra.lean?h=name-restriction-model
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
start defining nominal algebra terms
2025-12-02T19:21:44Z
Hannes Schulze
haschu0103@outlook.de
2025-12-02T19:21:44Z
urn:sha1:4ba4f11725d42286a2e94ee78dd938636ad2528a