GitHub repository: lastland/ClairvoyanceMonad
Primary language: Coq
Created: 2021-04-23T02:47:41Z
Description: The Coq formalization of the paper Reasoning about the garden of forking paths.