Skip to content

Top Best Ask Show New Jobs

raphaelrrcoelho | Better HN

raphaelrrcoelho

1 karmaJoined June 29, 20262 submissions

Recent submissions

1

Mathematical finance, formally verified in Lean 4 (opens in new tab)

(github.com)GitHub

3raphaelrrcoelho14h ago0