Nominal.lean


1
2
3
4
5
6
7
8
9
10

import Nominal.Permutations
import Nominal.Support
import Nominal.Equivariance
import Nominal.Category
import Nominal.Helpers.CountableString
import Nominal.Helpers.Finset
import Nominal.Instances.Basic
import Nominal.Instances.Abstraction
import Nominal.LambdaCalculus.Preterms
import Nominal.LambdaCalculus.Terms