haschu/nominal-lean.git/lakefile.toml, branch name-restriction-model
Formalization of nominal sets in Lean 4.
https://git.haschu.me/haschu/nominal-lean.git/atom/lakefile.toml?h=name-restriction-model
2025-12-02T19:21:44Z
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