GitHub repository: xta4633/Rust_capability_verification
Primary language: Coq
Description: Rust语言实现的操作系统中权能系统的形式化验证