GitHub repository: mit-pdos/perennial
Primary language: Rocq Prover
Description: Verifying concurrent crash-safe systems