Skip to content

Actions: OpenLogicProject/OpenLogic

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
65 workflow runs
65 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
fix closing backtick Build LaTeX document #173: Commit 7c93274 pushed by rzach
4m 45s master
master
4m 45s
add photo credt localization Build LaTeX document #172: Commit e63797a pushed by rzach
5m 54s master
master
5m 54s
fix definition of limit; closes #427 Build LaTeX document #171: Commit 79d9221 pushed by rzach
5m 31s master
master
5m 31s
clarify localization instructions in driver files Build LaTeX document #170: Commit d44e6b9 pushed by rzach
5m 29s master
master
5m 29s
fix a link Build LaTeX document #169: Commit 306505e pushed by rzach
5m 33s master
master
5m 33s
Internationalize the OLP Build LaTeX document #168: Commit 153be23 pushed by rzach
6m 32s master
master
6m 32s
fix Example 58.7 typo Build LaTeX document #167: Pull request #429 opened by astrophysik
Action required astrophysik:master
astrophysik:master
Action required
Fix typo in Cauchy sequence definition Build LaTeX document #166: Pull request #428 opened by wyf027
Action required wyf027:codex/fix-cauchy-h-function-427
wyf027:codex/fix-cauchy-h-function-427
Action required
fix type Build LaTeX document #165: Commit 9f12419 pushed by rzach
5m 48s master
master
5m 48s
rules for intuitionistic sequent systems; corrections from students Build LaTeX document #164: Commit 0381b42 pushed by rzach
5m 16s master
master
5m 16s
typo; closes #424 Build LaTeX document #163: Commit 39f38ac pushed by rzach
5m 9s master
master
5m 9s
typos reported by students Build LaTeX document #162: Commit b3ee5a6 pushed by rzach
5m 7s master
master
5m 7s
First two chapters of a Proof Theory part; experimental Build LaTeX document #161: Commit 0770b41 pushed by rzach
5m 48s master
master
5m 48s
typo Build LaTeX document #160: Commit 0a18d37 pushed by rzach
4m 47s master
master
4m 47s
Fix definition of a well-ordered set. Build LaTeX document #159: Commit bb4556c pushed by rzach
4m 48s master
master
4m 48s
Fix typos in Abstract Logics Build LaTeX document #157: Commit 08e3042 pushed by rzach
4m 51s master
master
4m 51s
typo; closes #420 Build LaTeX document #156: Commit 302e25d pushed by rzach
5m 30s master
master
5m 30s
Correct Gödel numbering of derivations to include =Intro. Build LaTeX document #155: Commit c6b2151 pushed by rzach
4m 43s master
master
4m 43s
Gödel numbering of natural deduction derivations using =Intro Inc fixes Build LaTeX document #154: Pull request #419 opened by beastaugh
5m 11s beastaugh:inc-fixes
beastaugh:inc-fixes
5m 11s
improve printtoken; some better definitions for rule names Build LaTeX document #153: Commit fd94b81 pushed by rzach
4m 29s master
master
4m 29s
Build LaTeX document Build LaTeX document #152: by rzach
5m 21s master
master
5m 21s
Fix a couple of typos in the definition of OpenAssum(z,d) in the arithmetization section Build LaTeX document #151: Pull request #418 opened by beastaugh
7m 8s beastaugh:inc-fixes
beastaugh:inc-fixes
7m 8s
Fix typos related to Second-order Logic and Lindström's Theorem Build LaTeX document #150: Pull request #416 opened by FnControlOption
5m 39s FnControlOption:sol
FnControlOption:sol
5m 39s
fix typo; closes #415 Build LaTeX document #149: Commit 08c0fa2 pushed by rzach
5m 10s master
master
5m 10s
Fix proof of Theorem 25.9 Build LaTeX document #148: Commit 94a9dcd pushed by rzach
5m 18s master
master
5m 18s