The Coq formalization of the paper Reasoning about the garden of forking paths.
Stars
25
Forks
2
Watchers
Open Issues
0
Overall repository health assessment
No package.json found
This might not be a Node.js project
User
26
commits
7
Citation link.
707f98a
Specify equation versions.
eecdbbe
Update CI.
13ccdd9
Add link to the paper.
5060523
Some small changes to make notations/namings for consistent.
260fed4
Merge branch 'artifact-preps' into main
25a6886
Tweaks.
e32f9f6
Edit README.
25adee4
Make figure references consistent.
e917ccf
Comment
0bd547b
Signposting
c953d7b
More comments
9cfa489
f1e864b
Cut unused code, more comments
6f55756
Tweaks
2d3f3f0