GitHub repository: risvh/miniOneLifeCompile
Primary language: Shell
Created: 2020-10-02T07:27:02Z
Description: Minimal scripts to compile 2HOL/OHOL