mininix-formalization, branch main
Coq Formalization for Mininix
https://git.fautchen.eu/mininix-formalization.git/atom?h=main
2024-06-27T10:38:28Z
Link to reserved Zenodo DOI
2024-06-27T10:38:28Z
Rutger Broekhoff
2024-06-27T10:38:28Z
urn:sha1:8d81c6889f370e6aeca34fa1b4416b55bc1f9fc0
Update README
2024-06-27T10:22:08Z
Rutger Broekhoff
2024-06-27T10:22:08Z
urn:sha1:493678b8df4183e59884bf2069eb3b1bf8ebb07f
Update README
2024-06-27T09:55:37Z
Rutger Broekhoff
2024-06-27T09:55:37Z
urn:sha1:ff82f7c63616e96bdf8a4268212f8094fa69748d
Be consistent in notation of simplify_eq/=
2024-06-27T00:13:26Z
Rutger Broekhoff
2024-06-27T00:13:26Z
urn:sha1:5aef9a66966c8aa97041461d618b601e60e56c91
Update README
2024-06-27T00:03:05Z
Rutger Broekhoff
2024-06-27T00:03:05Z
urn:sha1:ba973b2fa09e0ff203eec9770908a88e0ccfde70
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
Import Coq project
2024-06-26T18:50:18Z
Rutger Broekhoff
2024-06-26T18:50:18Z
urn:sha1:73df1945b31c0beee88cf4476df4ccd09d31403b