Smm, the simplified metamath. Smm is a computer language for formal mathematics, which is intended to represent modern mathematics on a formal level and provide trustworthy proof verification. Smm is a simplified version of the language metamath. The syntax and semantics of Smm are described.
Keywords for this software
References in zbMATH (referenced in 2 articles , 1 standard article )
Showing results 1 to 2 of 2.
- Vlasov, D.Yu.: Smm, the simplified metamath (2012)
- Vlasov, D.Yu.: The language of formal mathematics Russell (2011)