GitHub repository: Cherified/Cheriot
Primary language: Rocq Prover
Created: 2025-05-15T21:25:55Z
Description: CHERIoT implementation in Guru