Matrix

This table shows the state of each algorithm and data structure. H is the human proof, L is the Lean proof, V is the visual and W is the writing. Each language cell gives the code level. Read what the levels mean.