Skip to content

Actions: OpenLogicProject/OpenLogic

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
26 workflow runs
26 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add section on \Sigma_1 completeness to the chapter on representability in Q Build LaTeX document #111: Pull request #395 synchronize by beastaugh
June 27, 2025 15:12 5m 13s beastaugh:sigma1-completeness
beastaugh:sigma1-completeness
June 27, 2025 15:12 5m 13s
add trees section also to relatiions-complete.tex Build LaTeX document #110: Commit c19c4b9 pushed by rzach
June 27, 2025 03:04 5m 19s master
master
June 27, 2025 03:04 5m 19s
elaborating on trees Build LaTeX document #109: Commit 5a73382 pushed by rzach
June 27, 2025 02:27 5m 11s master
master
June 27, 2025 02:27 5m 11s
Add section on \Sigma_1 completeness to the chapter on representability in Q Build LaTeX document #108: Pull request #395 opened by beastaugh
June 26, 2025 14:10 5m 31s beastaugh:sigma1-completeness
beastaugh:sigma1-completeness
June 26, 2025 14:10 5m 31s
small fix in intuitionistic tableau example Build LaTeX document #107: Commit 67647fe pushed by rzach
June 25, 2025 20:35 5m 5s master
master
June 25, 2025 20:35 5m 5s
fix subfile reference Build LaTeX document #106: Commit d1c117b pushed by rzach
June 25, 2025 20:02 5m 6s master
master
June 25, 2025 20:02 5m 6s
minor improvements; link modl sequent calculus into full text Build LaTeX document #105: Commit f7ebd0a pushed by rzach
June 25, 2025 18:43 5m 21s master
master
June 25, 2025 18:43 5m 21s
typos reported by W25 Logic III students Build LaTeX document #104: Commit 48a9272 pushed by rzach
June 25, 2025 00:53 5m 8s master
master
June 25, 2025 00:53 5m 8s
elaborating on trees Build LaTeX document #103: Commit c2dd8a2 pushed by rzach
May 31, 2025 23:12 4m 57s beastaugh-trees
beastaugh-trees
May 31, 2025 23:12 4m 57s
revise the computability theory chapter Build LaTeX document #102: Commit 383e205 pushed by rzach
May 31, 2025 23:09 5m 0s master
master
May 31, 2025 23:09 5m 0s
Wrap lines to ~80 chars Build LaTeX document #101: Pull request #392 opened by StanFromIreland
March 30, 2025 17:22 5m 2s StanFromIreland:update-docs
StanFromIreland:update-docs
March 30, 2025 17:22 5m 2s
Add basic overview to model theory section (#65) Build LaTeX document #100: Pull request #391 opened by StanFromIreland
March 30, 2025 16:09 5m 6s StanFromIreland:model-theory
StanFromIreland:model-theory
March 30, 2025 16:09 5m 6s
Update workflow to run on PR's and upload build (#148) (#388) Build LaTeX document #99: Commit 796aef8 pushed by rzach
March 29, 2025 16:58 4m 51s master
master
March 29, 2025 16:58 4m 51s
Update workflow to run on PR's and upload build (#148) Build LaTeX document #98: Pull request #388 synchronize by StanFromIreland
March 29, 2025 13:18 5m 14s StanFromIreland:gh-148
StanFromIreland:gh-148
March 29, 2025 13:18 5m 14s
fix error Δ2 -> Δ1 Build LaTeX document #95: Commit db8abf4 pushed by rzach
March 2, 2025 17:09 4m 55s master
master
March 2, 2025 17:09 4m 55s
Fix a typo in the proof that regular minimization is representable Build LaTeX document #94: Commit dc95e09 pushed by rzach
March 2, 2025 17:07 4m 54s master
master
March 2, 2025 17:07 4m 54s
Clarify atomic case reasoning in proof of local determination for fir… Build LaTeX document #93: Commit 6891b66 pushed by rzach
December 1, 2024 00:21 4m 55s master
master
December 1, 2024 00:21 4m 55s
Fix some typos in the variable assignments section. Build LaTeX document #92: Commit 27ac27a pushed by rzach
November 30, 2024 23:02 4m 51s master
master
November 30, 2024 23:02 4m 51s
work around thmtools bug that generates wrong links Build LaTeX document #91: Commit 6fd2c17 pushed by rzach
November 17, 2024 18:48 4m 57s master
master
November 17, 2024 18:48 4m 57s
Update resources.tex Build LaTeX document #90: Commit cf2f78a pushed by rzach
November 16, 2024 17:32 4m 51s master
master
November 16, 2024 17:32 4m 51s
Fix minor typo in Alonzo Church's biography Build LaTeX document #89: Commit 4962295 pushed by rzach
November 16, 2024 17:31 5m 18s master
master
November 16, 2024 17:31 5m 18s
add incompleteness intro to sample textbook Build LaTeX document #88: Commit 4772e75 pushed by rzach
August 29, 2024 12:50 5m 2s master
master
August 29, 2024 12:50 5m 2s
Update duals.tex Build LaTeX document #87: Commit e5563ad pushed by rzach
August 10, 2024 09:48 5m 6s master
master
August 10, 2024 09:48 5m 6s
Harmonize capitalization Build LaTeX document #86: Commit 0a400f7 pushed by rzach
August 10, 2024 09:44 4m 49s master
master
August 10, 2024 09:44 4m 49s
typo in OpenLogic/content/sets-functions-relations/size-of-sets/reduc… Build LaTeX document #85: Commit 016d2bc pushed by rzach
June 22, 2024 16:34 4m 49s master
master
June 22, 2024 16:34 4m 49s