Loading Discussion between user21820 and Nathaniel
Just a second…

load older messages full transcript highlights

	You must be logged in to talk. See the faq for more information.
		help \| faq \| legal \| privacy policy \| mobile

View all rooms

View all site rooms

Discussion between user21820 and Nathaniel

Imported from a comment discussion on cs.stackexchange.com/questions/69580/…

Code of Conduct

Learn more about Chat

correctness-proof hoare-logic

Welcome to the chat! Unfortunately, you have JavaScript disabled, and thus this chat will not work. If you would like to participate, please enable JavaScript in your browser and reload this page.

New feed items

Discussion between user21820 and Nathaniel