TeamSPoon/MKM

MKM seeks to formalize mathematical knowledge with CYC