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

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 2 articles , 1 standard article )

Showing results 1 to 2 of 2.
Sorted by year (citations)

  1. Vlasov, D.Yu.: Smm, the simplified metamath (2012)
  2. Vlasov, D.Yu.: The language of formal mathematics Russell (2011)