Found 1 repositories(showing 1)
lastland
The Coq formalization of the paper Reasoning about the garden of forking paths.
All 1 repositories loaded