This is home for my new project to formalize AV1 video codec specification in Coq.
Here is a github repository: https://github.com/domin144/formal_av1.