Deletion of ProofWiki

Comment: Fails  due to lacking sustained  of itself. Sources provided are just passing mentions and do not show that this is notable
Stance: delete
Cited policy: Wikipedia:Notability (WP:GNG||WP:SIGCOV)

Comment: since I am the https://en.wikipedia.org/w/index.php?title=ProofWiki&direction=prev&oldid=872147043 ''Benevolent Creator For Life'', and must therefore defend my righteous honour in the face of vandalous adversity!  is not being challenged! What happened to &#91;https://xkcd.com/285/ citation needed&#93;? What is sigbovik with the ''egregia cum laude'' first http://ceur-ws.org/Vol-767/paper-10.pdf reference? The last http://aitp-conference.org/2018/aitp18-proceedings.pdf#page=63 reference is okay too; even though I wasn't the one who found it
Stance: keep
Cited policy: Wikipedia:Notability (WP:N)