 | concrete-semantics | Isabelle | 22 | 22 |
| logical-foundations-2018 | Coq | 9 | 518 |
| programming-language-foundations-2018 | Coq | 4 | 883 |
| verified-functional-algorithms-2019 | Coq | 3 | 1,093 |
| topoi | TeX | 1 | 52,670 |
| software-foundations | Coq | 0 | - |
| tensorflow-specialization-dl.ai | Jupyter Notebook | 0 | - |
| vqc-rus | Coq | 0 | - |
| isabelle_sc | Isabelle | 0 | - |
