📚 List of awesome university courses for learning Computer Science!

pix2tex: Using a ViT to convert images of equations into LaTeX code.

Comprehensive Python Cheatsheet

😎 Awesome lists about all kinds of interesting topics

Tricks you wish the Coq manual told you [maintainer=@tchajed]

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

A computer algebra system written in pure Python