Submissions from cakeml.org

		CakeML: A formally verified implementation of ML (cakeml.org)
		4 points by fanf2 42 days ago \| past
		CakeML – A Verified Implementation of ML (cakeml.org)
		1 point by Vedor on June 5, 2023 \| past
		CakeML: A Verified Implementation of ML (cakeml.org)
		3 points by rscho on Feb 5, 2021 \| past
		Verified Compilation on a Verified Processor [pdf] (cakeml.org)
		47 points by matt_d on June 2, 2019 \| past \| 1 comment
		CakeML – A Verified Implementation of ML (cakeml.org)
		99 points by tosh on Nov 20, 2018 \| past \| 24 comments
		Cake ML (cakeml.org)
		2 points by tosh on June 11, 2018 \| past
		Cake ML (cakeml.org)
		1 point by tosh on March 30, 2018 \| past
		CakeML – A Verified Implementation of ML (cakeml.org)
		163 points by setori88 on Jan 1, 2017 \| past \| 37 comments