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 (Expand)	Author
2025-10-21	restructure	Hannes Schulze

generated by cgit v1.3.1 (git 2.54.0) at 2026-11-10 12:40:41 +0000