GitHub repository: lab156/CNL-CIC
Description: A controlled natural language for calculus of inductive constructions, based on Forthel.