N

nominal-lean

Project information

Formalization of Nominal Sets in Lean4.

59 Commits
2 Branches
0 Tags

Created on

September 19, 2025

Loading