GitHub repository: yiyuan-cao/x-star
Primary language: OCaml
Created: 2024-09-21T02:13:48Z
Description: Building an integrated, programmable program verifier for X.