haschu/nominal-lean.git/Graded, branch main
Formalization of nominal sets in Lean 4.
https://git.haschu.me/haschu/nominal-lean.git/atom/Graded?h=main
2026-04-15T13:17:13Z
move wip
2026-04-15T13:17:13Z
Hannes Schulze
contact@haschu.me
2026-04-15T13:17:13Z
urn:sha1:37f7c86a7591da1233cdf1d293bf851f43c65ba1
update lean
2026-04-15T11:22:40Z
Hannes Schulze
contact@haschu.me
2026-04-14T14:04:44Z
urn:sha1:a5ff8efe5b5e314e0aa759318e5fb194e066f612
formalize graded monads
2025-12-02T13:36:03Z
Hannes Schulze
haschu0103@outlook.de
2025-12-02T13:36:03Z
urn:sha1:fc313d4e3e1efafb91052410e86039dfc17f6066