Parse, derive and visualize expressions of the Calculus of Constructions (λC) and related calculi
Primary LanguageRustMIT LicenseMIT
This repository is not active