Formalization of discrete exterior calculus.
Primary LanguageCoqGNU General Public License v3.0GPL-3.0