Open Hub
Open Hub

 Settings |  Report Duplicate

0
I Use This!
Inactive

Commits : Listings

Analyzed 5 days ago. based on code collected 5 days ago.
Mar 26, 2025 — Mar 26, 2026
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
accepted version of CH paper
Shivaram Lingamneni
More... over 8 years ago
revisions to ch paper
Shivaram Lingamneni
More... almost 9 years ago
initial draft of continuum hypothesis paper
Shivaram Lingamneni
More... almost 10 years ago
add acknowledgements for coin puzzle paper
Shivaram Lingamneni
More... almost 12 years ago
add expanded writeup on the coin puzzle
Shivaram Lingamneni
More... almost 12 years ago
fix bad footnote
Shivaram Lingamneni
More... over 12 years ago
alpha release of the frequentism paper
Shivaram Lingamneni
More... over 12 years ago
remove erroneous/irrelevant reference to Williams
Shivaram Lingamneni
More... about 13 years ago
merge updates to "Against Rationality" from last May
Shivaram Lingamneni
More... about 13 years ago
add symbol definitions to the logic handout
Shivaram Lingamneni
More... over 13 years ago
additional material for the logic handout
Shivaram Lingamneni
More... over 13 years ago
try out some different margin settings
Shivaram Lingamneni
More... almost 14 years ago
fix various typos, thanks to a reader
Shivaram Lingamneni
More... almost 14 years ago
git can version symlinks!
Shivaram Lingamneni
More... almost 14 years ago
beta release of the Against Rationality paper
Shivaram Lingamneni
More... almost 14 years ago
ignore bibtex build products
Shivaram Lingamneni
More... almost 14 years ago
extremely rough draft of the Against Rationality paper
Shivaram Lingamneni
More... almost 14 years ago
fixes from using the handout in section
Shivaram Lingamneni
More... almost 14 years ago
silly teaching handout about propositional logic
Shivaram Lingamneni
More... almost 14 years ago
link to compiled versions
Shivaram Lingamneni
More... about 14 years ago
revisions from discussion with prof.
Shivaram Lingamneni
More... about 14 years ago
fix typo, citations
Shivaram Lingamneni
More... about 14 years ago
readme
Shivaram Lingamneni
More... about 14 years ago
version from seminar
Shivaram Lingamneni
More... about 14 years ago