泉的第一張限定SSR
@koftwro01
好奇
Fri, Jun 4, 2021 11:29 AM
1
Functional Thursday - 「證明作業系統正確」可能是程式語言界的聖杯之一。sel4 就...

seL4 還能繼續嗎？
泉的第一張限定SSR
@koftwro01
覺得
Fri, Jun 4, 2021 11:29 AM
唉
formal 比不過 AI 阿…
載入新的回覆