GitHub repository: ratmaylakhongcoai/restricted-cplusplus
Primary language: Lean
Created: 2021-06-27T09:51:25Z
Description: A very restricted subset of C++, designed with formal verification in mind. Primarily for competitive programming use.