Pinned Loading

1. formal_av1 formal_av1 Public

   Formal specification for AV1 video coding format.

   Coq 2

2. YUVtool YUVtool Public

   Forked from remigiuszw/YUVtool

   Application for analysis of raw viedeo files.

   C++ 1

3. coq_astronaut coq_astronaut Public

   A simple example for Coq

   Coq

4. metamath_playground metamath_playground Public

   C++