GitHub repository: HuStmpHrrr/McLTT
Description: A bottom-up approach to a verified implementation of MLTT