ForTheL

ForTheL — the language of formal theories. ForTheL, an acronym for “Formal Theory Language”, is a formal language of mathematical texts, which imitates the natural (English) language of mathematical publications issued by human beings. There are two reasons to pursue a verbose “natural” style instead of basing on a terse unifying notation of some traditional language of logic. ...