GitHub repository: rnbguy/apalarse
Primary language: Rust
Created: 2023-09-12T11:33:39Z
Description: Typed formal specifications in Rust