GitHub repository: IraCasper/miniOneLifeCompile
Description: Minimal scripts to compile 2HOL/OHOL