#σ — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #σ, aggregated by home.social.
-
Verified Dynamic Programming with Σ-types in Lean
https://tannerduve.github.io/blog/memoization-sigma/
#HackerNews #Verified #Dynamic #Programming #Σ-types #Lean #DynamicProgramming #LeanLang