Skip to content

Actions: thefalsework/papers

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
132 workflow runs
132 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Add bridge-and-caviar note: audience diagnosis, machine readers, ordi… Build paper PDFs #73: Commit 7c3bb42 pushed by node0000
2m 9s main
main
2m 9s
Roadmap v0.3: add merge architecture (7.1), disambiguate Core v2 from… Build paper PDFs #72: Commit 385f3ab pushed by node0000
2m 29s main
main
2m 29s
Roadmap v0.2: add prior-art section mapping the WL algebra and the La… Build paper PDFs #71: Commit dd3d8b1 pushed by node0000
2m 13s main
main
2m 13s
Add computable-criticism roadmap: spec for the computational layer an… Build paper PDFs #70: Commit 865bfa3 pushed by node0000
2m 23s main
main
2m 23s
Add two-red-books paper: unified reading of the Tolkien/Jung structur… Build paper PDFs #69: Commit ad67f75 pushed by node0000
2m 43s main
main
2m 43s
Add printable PDFs for the humanities front-door bundle Build paper PDFs #68: Commit 1621076 pushed by node0000
2m 10s main
main
2m 10s
Pointer-patch synthesis notes for the July lens weld Build paper PDFs #67: Commit c3a5d77 pushed by node0000
2m 2s main
main
2m 2s
Add field guide: approachable walk through the whole FalseWork programme Build paper PDFs #66: Commit b59d5a2 pushed by node0000
2m 13s main
main
2m 13s
Index: Bach-at-the-kernel bumped to v0.2 as humanities full-stack walk Build paper PDFs #65: Commit 177625c pushed by node0000
2m 11s main
main
2m 11s
Revise Bach-at-the-kernel into the humanities-facing full-stack walk Build paper PDFs #64: Commit 6061540 pushed by node0000
2m 7s main
main
2m 7s
Add Aristotelian relation profile of the opened square comparator #9: Commit 9cbce63 pushed by node0000
4m 20s main
main
4m 20s
Close the two opposition-figure review items; correct the chapter att… comparator #8: Commit ee79204 pushed by node0000
5m 11s main
main
5m 11s
Add the unification track: bridge theorem + opposition figure + spine… Build paper PDFs #63: Commit d5dca50 pushed by node0000
2m 8s main
main
2m 8s
Add the unification track: bridge theorem + opposition figure + spine… comparator #7: Commit d5dca50 pushed by node0000
3m 38s main
main
3m 38s
comparator comparator #6: Manually run by node0000
2m 19s main
main
2m 19s
comparator comparator #5: Manually run by node0000
1m 38s main
main
1m 38s
Add root Solution.lean to match the community's Challenge/Solution co… comparator #4: Commit 73173a3 pushed by node0000
2m 31s main
main
2m 31s
Soften rnLadder docstring per cross-model review; log pre-audit in fo… comparator #3: Commit b751f01 pushed by node0000
2m 18s main
main
2m 18s
Fix comparator statement mismatch: bridge must import full Mathlib comparator #2: Commit 8a428d6 pushed by node0000
4m 31s main
main
4m 31s
Add comparator + formalization.yaml conformance for the ordinary-elem… comparator #1: Commit 076a0e2 pushed by node0000
3m 52s main
main
3m 52s
Add general k-prime law, count formula, and substitution monoid to Z6… Build paper PDFs #62: Commit a20132a pushed by node0000
1m 58s main
main
1m 58s
Address external review of Z6 preprint; add LaTeX/PDF for arXiv Build paper PDFs #61: Commit eb4b5de pushed by node0000
1m 59s main
main
1m 59s
Add ordinary-elements-Z6 preprint: uniqueness proof, Div12 = Z6, p^2 … Build paper PDFs #60: Commit 12baa6b pushed by node0000
2m 5s main
main
2m 5s
Correct four-cell mapping: Commitment works are (Exploitation, commit… Build paper PDFs #59: Commit 788aa34 pushed by node0000
3m 23s main
main
3m 23s
Add accessible entry points; record session outreach, citations, and … Build paper PDFs #58: Commit d6248fb pushed by node0000
2m 38s main
main
2m 38s