Viewing profile — spootydooty
spootydooty
HN member- Joined
- Fri, Oct 27, 2023, 1:02 PM UTC
- HN karma
- 2
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About spootydooty
No profile information was provided.
Recent public activity
-
comment
Comment #38048004
AWS has started using it internally recently, but the biggest Lean software project remains Lean 4 itself, which is almost entirely written in Lean 4 (though not verified except fo…