haschu/nominal-lean.git - Formalization of nominal sets in Lean 4.

index : haschu/nominal-lean.git

Formalization of nominal sets in Lean 4.

Git Repositories

summary refs log tree commit diff

path: root/Nominal/Support.lean

Age	Commit message (Collapse)	Author
2025-10-21	restructure	Hannes Schulze

generated by cgit v1.3.1 (git 2.54.0) at 2026-11-10 11:29:58 +0000