L
Luke Grimes
1 thing Luke uses or recommends, from 1 episode.
Luke's top picks
What Luke uses or recommends most, ranked by how often and how strongly. Paid ads are left out.
Lean
+3 other experts
Uses and recommends it · 1 episode
"we take 3,000 formal math problems. So this is just in lean for you can write out the problem statement in this coding language in math"