Azhar's Notes
Search
Cari
Mode Gelap
Mode Terang
Mode Pembaca
Navigation
Tag: coq
1 item dengan tag ini.
19 Jul 2026
Formal Verification Deep Dive — TLA+, Proof Assistants, and Rust Verification
formal-verification
software-quality
tla-plus
model-checking
coq
rust
kani