ClairvoyanceMonad
The Coq formalization of the paper Reasoning about the garden of forking paths.
24 stars
6 watching
2 forks
Language: Coq
last commit: 4 months ago ClairvoyanceMonad The Coq formalization of the paper Reasoning about the garden of forking paths.