Projects in Awesome Lists tagged with nominal-set
A curated list of projects in awesome lists tagged with nominal-set .
https://github.com/annenkov/stlcnorm
Simply-typed lambda calculus and extensions: termination, extrinsic/intrinsic representations, nominal binding techniques
coq lambda-calculus nominal-set proof-assistant
Last synced: 18 Feb 2026
