With 86% of the words, you might understand only 38% of an anime's lineslearnfromx.com·84 pts·lakesare·61
Lean, Coq and other proof assistants: Visualising proofs as treeslakesare.brick.do·158 pts·lakesare·28