Skip to content

Actions: OpenLogicProject/OpenLogic

Actions

Build LaTeX document

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
34 workflow runs
34 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix intuitionistic equivalent of LEM (#353) Build LaTeX document #68: Commit 1c730a1 pushed by rzach
January 5, 2024 03:18 5m 22s master
master
January 5, 2024 03:18 5m 22s
add convention to drop outermost perens in pl/syn/formulas.tex; impro… Build LaTeX document #67: Commit ce0fbd0 pushed by rzach
January 2, 2024 09:41 5m 27s master
master
January 2, 2024 09:41 5m 27s
Fix typos (#350) Build LaTeX document #66: Commit 4da084f pushed by rzach
December 15, 2023 20:37 4m 58s master
master
December 15, 2023 20:37 4m 58s
Add footnote on Frege contributed by R. Heck; fixes issue #342 Build LaTeX document #65: Commit 7a3cda8 pushed by rzach
December 15, 2023 09:36 4m 53s master
master
December 15, 2023 09:36 4m 53s
Make initial formation sequences for PL lemma an exercise like it is … Build LaTeX document #64: Commit 9d2dbb4 pushed by rzach
December 15, 2023 09:27 5m 0s master
master
December 15, 2023 09:27 5m 0s
Fix a typo. Build LaTeX document #63: Commit 8a7a5b2 pushed by rzach
December 5, 2023 17:07 5m 5s master
master
December 5, 2023 17:07 5m 5s
compactness example (#346) Build LaTeX document #62: Commit 7edc549 pushed by rzach
December 5, 2023 16:43 5m 3s master
master
December 5, 2023 16:43 5m 3s
ButtonLT1 is out Build LaTeX document #61: Commit cd2594c pushed by rzach
December 3, 2023 01:26 5m 22s master
master
December 3, 2023 01:26 5m 22s
Replace hyphens with n-dashes when joining two names. Build LaTeX document #60: Commit 524153e pushed by rzach
December 3, 2023 01:25 5m 12s master
master
December 3, 2023 01:25 5m 12s