informath/share at main · GrammaticalFramework/informath · GitHub

Name		Name	Last commit message	Last commit date
parent directory ..
BaseConstants.agda		BaseConstants.agda
BaseConstants.dk		BaseConstants.dk
BaseConstants.lean		BaseConstants.lean
BaseConstants.v		BaseConstants.v
README		README
baseconstants.dkgf		baseconstants.dkgf

README

shared resources for Informath