GitHub repository: wrsturgeon/stream-types
Primary language: Coq
Created: 2023-12-04T03:39:44Z
Description: Formally verifying a type theory for arbitrary stream operations.