Ici, on parle de tout et de rien. Surtout de rien !
11 videos
Présentation de Coq/Rocq, l'assistant de preuve formel
erakem
13 videos
Maths
18 videos
All
Coq
-1 video
Manim
3 videos
Scams
Shorts
Base64
