(partially) formally verified says right on the page https://ironclad-os.org/for...

		beanjuiceII 39 days ago \| parent \| context \| favorite \| on: Ironclad – formally verified, real-time capable, U... (partially) formally verified says right on the page https://ironclad-os.org/formalverification.html