It is proposed that this article be deleted because of the following concern:
If you can address this concern by improving, copyediting, sourcing, renaming, or merging the page, please edit this page and do so. You may remove this message if you improve the article or otherwise object to deletion for any reason. Although not required, you are encouraged to explain why you object to the deletion, either in your edit summary or on the talk page. If this template is removed, do not replace it . The article may be deleted if this message remains in place for seven days, i.e., after 16:11, 21 January 2026 (UTC). Find sources: "Iris" logic – news · newspapers · books · scholar · JSTOR Nominator: Please consider notifying the author/project: {{ subst:proposed deletion notify |Iris (logic)|concern=Fails [[WP:NOTDICT]] with one external link to a corporation homepage.}} ~~~~ |
 | This article includes a list of references, related reading, or external links, but its sources remain unclear because it lacks inline citations .(January 2026) |
Iris is a higher-order concurrent separation logic framework.
