YHacker Newsscreenshots

tannerduve.github.io on Hacker News

1 story on the front page, newest first. Scroll down to watch the site change over time.

Screenshot of tannerduve.github.io: Verified dynamic programming with Σ-types in Lean

Verified dynamic programming with Σ-types in Lean (tannerduve.github.io)

77 points by rck 1 year ago | 25 comments