risvh / miniOneLifeCompile

Minimal scripts to compile 2HOL/OHOL
10Updated 8 months ago

Related projects

Alternatives and complementary repositories for miniOneLifeCompile