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/Algebra/Terms.lean

Age	Commit message (Collapse)	Author
2025-12-03	more cleanup	Hannes Schulze

generated by cgit v1.3.1 (git 2.54.0) at 2026-11-10 13:51:01 +0000