GitHub repository: timescale/promscale_specs
Primary language: TLA
Description: Formal specifications for Promscale components