haschu/nominal-lean.git/lakefile.toml, branch main
Formalization of nominal sets in Lean 4.
https://git.haschu.me/haschu/nominal-lean.git/atom/lakefile.toml?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
start defining nominal algebra terms
2025-12-02T19:21:44Z
Hannes Schulze
haschu0103@outlook.de
2025-12-02T19:21:44Z
urn:sha1:4ba4f11725d42286a2e94ee78dd938636ad2528a
formalize graded monads
2025-12-02T13:36:03Z
Hannes Schulze
haschu0103@outlook.de
2025-12-02T13:36:03Z
urn:sha1:fc313d4e3e1efafb91052410e86039dfc17f6066
update lean
2025-11-30T21:33:32Z
Hannes Schulze
haschu0103@outlook.de
2025-11-30T21:20:35Z
urn:sha1:e02ad2dcc0f93107c18f8316b386b92b45548e97
initial commit
2025-09-19T11:03:48Z
Hannes Schulze
haschu0103@outlook.de
2025-09-19T11:03:48Z
urn:sha1:c92169d23ec70e453bf1b84c82b224997065e0ff