haschu/nominal-lean.git/readme.md, branch main
Formalization of nominal sets in Lean 4.
https://git.haschu.me/haschu/nominal-lean.git/atom/readme.md?h=main
2026-04-15T14:31:13Z
add readme
2026-04-15T14:31:13Z
Hannes Schulze
contact@haschu.me
2026-04-15T14:31:13Z
urn:sha1:e474e89339047bd370ec423da75f7be2768b7a1b