cotalks.dev
Login
Keynote: Formal Verification? No, Formal Reasoning!
(link)
Event:
Code BEAM America 2022
Channel:
Code Sync
unsorted
todo
resolved
completed
canceled
submit