SNU's sflib addon for jsCoq
Primary LanguageMakefile
SNU SFLab's library of basic lemmas and tactics.