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

summary refs log tree commit diff

path: root/Nominal.lean

blob: d37a60a52af7c4d47e7c34aa9ef907d787967696 (plain)

import Nominal.Permutations
import Nominal.Support
import Nominal.Equivariance
import Nominal.Category
import Nominal.Instances.Basic