====== Formal AV-1 ======

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]].