Wikipedia:Articles for deletion/Modos


 * The following discussion is an archived debate of the proposed deletion of the article below. Please do not modify it. Subsequent comments should be made on the appropriate discussion page (such as the article's talk page or in a deletion review).  No further edits should be made to this page.

The result was delete. The SandDoctor Talk 08:12, 12 November 2018 (UTC)

Modos

 * – ( View AfD View log  Stats )

Declined PROD. This is fairly incomprehensible, and moreover appears to be WP:OR; the only refs are to someone's personal github page. I can't find anything about this in the literature – just a couple unsolicited mailing list items which don't offer any more insight than this page. –Deacon Vorbis (carbon &bull; videos) 00:08, 5 November 2018 (UTC)
 * Note: This discussion has been included in the list of Mathematics-related deletion discussions. –Deacon Vorbis (carbon &bull; videos) 00:09, 5 November 2018 (UTC)


 * Delete as something made up one day. XOR&#39;easter (talk) 00:22, 5 November 2018 (UTC)
 * Delete. I don't know what it is, but it seems not to have mainstream recognition.  In any case, it cannot rationally be in any 2 of the categories it is presently assigned to.  There is nothing which is in two of Proof theory, Type theory, and Topos theory.  — Arthur Rubin  (talk) 00:56, 9 November 2018 (UTC)


 * The above discussion is preserved as an archive of the debate. Please do not modify it. Subsequent comments should be made on the appropriate discussion page (such as the article's talk page or in a deletion review). No further edits should be made to this page.