Articles that are being worked on:

Author(s) Article Title Start Date Percent Complete
MarcoRiccardi MFOLD_3 Product of Manifolds. Tori. 2011-03-01 5%
JesseAlama VECTSP11 Bases of Finite and Countable Vector Spaces 2007-06-01 10%
JesseAlama RING_2 Characteristic of a Ring 2007-06-01 10%
JesseAlama FIELD_1 Field Extensions: Product Theorem 2007-06-01 5%
AdamGrabowski TRIANGLE Triangular Numbers, Sequences of Prime Reciprocals 2007-06-01 75%

Submitted articles:

Author(s) Article Title Date

Please note that these entries are preliminary (for example, if an article is eventually added to the MML, the MML identifier that the Library Committee assigns to it may not be the same as the working article name mentioned here).

TopicClassification Select one...

ImplementationDate? N/A
Topic revision: r28 - 2012-01-07 - 11:32:22 - MarcoRiccardi
Mizar TWiki
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback