GitHub repository: CatalaLang/dates-calc
Primary language: F*
Created: 2022-06-03T08:15:36Z
Description: Formally specified computations on dates