WikiProves

This is a **proposal for a new** Wikimedia sister project.
WikiProves
	Black square symbolizes the end of a provement. Q.E.D is a latin expression represents the end of a provement.
Status of the proposal
Status	rejected
Reason	no support. Pecopteris (talk) 04:53, 20 August 2023 (UTC)[reply]
Details of the proposal
Project description	The free encyclopedia of provements for all theorems, lemmas and other propositions from all fields of study
Is it a multilingual wiki?	It would be better to have many language versions (like on Wikipedia)
Potential number of languages	The more the better
Proposed URL	wikiproves.com (.org, .net, .ru) Available now: wikiproves.ru
Technical requirements
New features to require	Math formulas support. Although I think this is not a special technical requirement
Proposed interwiki prefix	wp:
Development wiki	wikiproves.ru (Russian language) (90+ provements)
Interested participants
	1. CMTV
	v; t; e;

There are lots of different propositions. You can find them in books, in scholl (university), in Wikipedia. Everywhere. And I think that is the main reason why we should pick them up in one place.

The important thing is that there have to be a provement for most of propositions. But the problem is that sometimes they are big, difficult, inarticulate or missing at all! It would be really cool to give simple (or at least understandable) provements to such propositions.

And that is how I came up with an idea of such an encyclopedia.

WikiProves mission — arrange all theorems, lemmas and propositions with simple and evident provements

Arguments

A lot of theorems, lemmas and propositions to fill a wiki.
Pupils and students are often looking for correct statement and simple provements.
Fits the Wikimedia Foundation mission
Widipedia and other sites have lots of articles about exact and natural sciences. Some of them have provements for propositions. But the style of provement block varies from article to article. In WikiProves all provements will have the same style.
A possibility to see a provement for people who want to learn better.
No problems with copyrights (almost everything in this sphere is a public domain).

Alternative names

WikiProofs
WikiStatement
WikiStates

Possible features

A list of features which I use on wikiproves.ru now. I find them really useful. It is not like they have to be in WikiProves as a Wikimedia project, but I think they make WikiProves more attractive and handy for users.

Rules of writing provements

It is important for every article on WikiProves to be simple and evident. That is why I created some rules everyone have to follow when writing a provement. (a hole page on wikiproves.ru)

Write in plain language
Explain every strange move
Add more informative illustrations
Give lots of examples
Do not skip logical steps

Simple and constant article style

It is much more comfortable to see what you expect ot see rather than trying to find statement which looks different from page to page.

Every article (about proposition) starts with a bow which has a color of a fild of study it refers to with a text of a statment in it.

If the proposition has multiply names, I put them in a special box wich is placed below the statement:

Colored fields of study

The idea is to use different colours for different fields of study to personalise them.

For example, blue for calculus, orange for analytical geometry a so on.

Current colors:

Field of study	Background color	Border color
Common category	#E4F0DF	#B6E190
Calculus	#E7EDF9	#9FBAF9
Analytical geometry	#F9F0E7	#F9CB9F
Algebra	#E8D9F9	#C99FF9
Linear algebra	#FDF9C5	#F3DB00
Physics	#DCF5F9	#92D9E4

Proposed by

CMTV

People interested

CMTV
-Jztinfinity (talk) 15:43, 5 July 2016 (UTC)[reply]
--Bart Michels (talk) 22:08, 10 November 2017 (UTC)[reply]

Discussion

Oppose The object of this project is already covered by Wikiversity. --Zerabat (discusión) 17:18, 5 September 2016 (UTC)[reply]
Oppose Wikiversity exists. Zetud (talk) 15:53, 13 May 2017 (UTC)[reply]

Other comments

Unclear what this is about. Whether this is covered by Wikiversity depends on what the precise goal is. Is it meant to be a database of mathematics? Then it is not covered by Wikiversity and would not match their format. In that case, I do think it would make a healthy project. Actually, it already is, see proofwiki:. --Bart Michels (talk) 21:47, 10 November 2017 (UTC)[reply]