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.

XML dumps are generated nightly and are available here (warning: it's 115MB). Hopefully this is what you're looking for. --Joe (talk) 14:19, 13 July 2020 (UTC)

I also added a gziped version here. It's much smaller. --Joe (talk) 14:29, 13 July 2020 (UTC)

user:joe That's very kind of you. I downloaded this file from [1] before, but it didn't update. I think you enable the cron again. Am I true? Afirou (talk) 07:28, 15 July 2020 (UTC)

I'm not sure what you mean by by you downloaded it before, but it didn't update. --Joe (talk) 14:07, 15 July 2020 (UTC)

user:joe By “before” I mean prior to mentioning it on this page. I found the link and downloaded it. Thankfully you admit it isn't being updated before. Afirou (talk) 15:58, 15 July 2020 (UTC)

I was attempting to quote you, "I downloaded this file from [2] before, but it didn't update.". The xml generation has been updating each night for years. Nothing has changed except for me adding a gzip version. --Joe (talk) 17:48, 15 July 2020 (UTC)

So my mistake then. 🙏🏻 Afirou (talk) 18:08, 15 July 2020 (UTC)

BTW, Do you think it would be room for this notice on Help:FAQ? Afirou (talk) 07:31, 15 July 2020 (UTC)