mininix-formalization/LICENSE, branch main Coq Formalization for Mininix https://git.fautchen.eu/mininix-formalization.git/atom?h=main 2024-06-26T23:56:05Z Tidy up project 2024-06-26T23:56:05Z Rutger Broekhoff 2024-06-26T23:56:05Z urn:sha1:4598e77a9406d8040357c943a05dd1ab939932db * Write README.md * Add LICENSE * Clean up some theorems and proofs