← All creators
K

Karina Hong

1 recommendations

Recommendations extracted from 0 episodes using AI. Only showing products Karina personally uses, recommends, or created.

Top picks

Lean Lean
1x

"We use this language Lean which is program for proofs"

All products

Software & tools

Lean uses
Show: All 1 | uses recommends mentions

Showing 0 of 1 recommendations

Clear filters

No recommendations from this person yet.