GitHub repository: Clinale/miniOneLifeCompile
Primary language: Shell
Description: Minimal scripts to compile 2HOL/OHOL