top | item 45697361 (no title) kachnuv_ocasek | 4 months ago Lean has much better UX to be frank. Rocq is fine, but if I were to start formalising today, I'd pick Lean. discuss order hn newest No comments yet.
No comments yet.