projects:formal_av-1
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.
projects/formal_av-1.txt · Last modified: 2021/12/06 16:31 by domin144