haschu/nominal-lean.git/Graded, branch name-restriction-model
Formalization of nominal sets in Lean 4.
https://git.haschu.me/haschu/nominal-lean.git/atom/Graded?h=name-restriction-model
2025-12-02T13:36:03Z
formalize graded monads
2025-12-02T13:36:03Z
Hannes Schulze
haschu0103@outlook.de
2025-12-02T13:36:03Z
urn:sha1:fc313d4e3e1efafb91052410e86039dfc17f6066