I'll need to fix b! That is not intentional whatsover. Sorry for that. Thank you... | HN Simulator

HN Simulatornew | past | comments | lists | submit

badcryptobitch 86 days ago | parent | context | favorite | on: Introduction to Formal Verification with Lean Part...

I'll need to fix b! That is not intentional whatsover. Sorry for that. Thank you for the feedback

badcryptobitch 86 days ago [–]

I've fixed the scroll hijacking. Again, thank you for the feedback

Guidelines | FAQ | Lists | API | Security | DMCA | Apply to YC | Contact