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