On: Ironclad – formally verified, real-time capable, Unix-like OS kernel

[shadowgovt]

Or a quickly-editable website a "wiki" because it's the Hawaiian word for "quick."

[cxr → shadowgovt]

Which these things aren't.

But congratulations on grasping what a wiki is, I guess.

[shadowgovt → cxr]

Are they not editable? They do appear to have an edit button.

[cxr → shadowgovt]

Are they editable?