GitHub repository: pandaman64/sabi
Primary language: Isabelle
Created: 2020-05-06T06:51:23Z
Description: Formal semantics of Rust