quamserena

Karma: 197
Created: 1 year ago

About

Author of quamserena.com

Recent Submissions

1. ▲ My experience with Lean 4 for general programming (quamserena.com) 6 points · 8 months ago · 0 comments
2. ▲ Referential Transparency (quamserena.com) 1 point · 9 months ago · 0 comments

All submissions on HN · View profile on HN