Viewing profile — sveinbjornp
sveinbjornp
HN member- Joined
- Thu, Jan 07, 2021, 9:28 PM UTC
- HN karma
- 1
- Public activity
- 3 items
- HN profile
- View on Hacker News ↗
About sveinbjornp
No profile information was provided.
Recent public activity
-
comment
Comment #48744160
from the web archive: Leanstral 1.5 - June 30, 2026 An updated Lean 4 formal proof engineering model optimised for automated theorem proving and autoformalization. 119B total param…
- story
-
comment
Comment #39315628
The latter. Terrible writing.