User:Afirou/website dump

ProofWiki Dumps
Unfortunately even in this era majority of people don't have access to reliable Internet connection. This concern rise by Wikimedia Foundation in many ways. For that reason WMF decide to dump all public data every month with all history data Wikimedia Dumps. After that communities find out that this data is very enrich corpus for ML and also study of people behaviour in different circumstances. This website Proofwiki have an alternative potential as well. The advancements in proof theory [Z3 for instance] put ourselves in a remarkable situation which we can proof theorems which isn't possible before. Throughout the dumps we MAY be able to figure out some path to make proof machine readable Finally.