K

Karina Hong

1 thing Karina uses or recommends, from 1 episode.

All 1 of Karina's picks

Lean Uses it "We use this language Lean which is program for proofs" +3 others
Nothing matches.

Follow Karina Hong

Get an email when they recommend something new. Free.

Free email updates