GitHub repository: HigherOrderCO/kind2
Primary language: Rust
Created: 2024-02-08T16:48:29Z
Description: Temporary repository for Kind2's refactor based on HVM2