Official repository of the Autosubst 2 project.

Proof of type-safety for STLC with bools using a well-scoped de Bruijn representation and AutoSubst2

Superseded by https://github.com/uds-psl/autosubst2. Clone of Autosubst2 prototype from https://www.ps.uni-saarland.de/extras/lfmtp17/