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