GitHub repository: mountain/mmtk
Primary language: Shell
Description: An experimental toolkit of metamath based on mmj2