Skip to content

Actions: v--/notebook

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
169 workflow runs
169 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Definable sets Test #169: Commit 50801b8 pushed by v--
46s master
master
46s
Fix some references Test #168: Commit 28fd567 pushed by v--
46s master
master
46s
Add a section on equational theories Test #167: Commit 345195b pushed by v--
43s master
master
43s
Definitional extensions Test #166: Commit 13e0941 pushed by v--
44s master
master
44s
Categories of first-order models Test #165: Commit c7066d6 pushed by v--
42s master
master
42s
Add some notes on proofs with empty domains Test #164: Commit 01420da pushed by v--
40s master
master
40s
Add some notes on proofs with empty domains Test #163: Commit 7daa771 pushed by v--
44s master
master
44s
Add some notes on proofs with empty domains Test #162: Commit 144514d pushed by v--
46s master
master
46s
Add some notes on proofs with empty domains Test #161: Commit 9d6aaf9 pushed by v--
28s master
master
28s
Start rewriting the section on first-order models Test #160: Commit 4349c0d pushed by v--
45s master
master
45s
Abolish term length Test #159: Commit 36f274b pushed by v--
48s master
master
48s
Soundness of natural deduction for first-order logic Test #158: Commit 919805f pushed by v--
46s master
master
46s
Fix deeply nested thmitem labels Test #157: Commit f14cf4b pushed by v--
45s master
master
45s
Remove unnecessary formula length handling Test #156: Commit 20c00c6 pushed by v--
44s master
master
44s
Fix some references Test #155: Commit 6a37387 pushed by v--
47s master
master
47s
Natural deduction and empty domains Test #154: Commit e69c6ab pushed by v--
48s master
master
48s
Relativized quantifier dualization Test #153: Commit 01103f9 pushed by v--
49s master
master
49s
Concrete first-order natural deduction Test #152: Commit 1a880f9 pushed by v--
31s master
master
31s
First-order natural deduction proof trees Test #151: Commit 36b4aa6 pushed by v--
49s master
master
49s
First-order schemas Test #150: Commit 8a0f310 pushed by v--
48s master
master
48s
Revise λ−term signature symbols Test #149: Commit 3c2cf44 pushed by v--
47s master
master
47s
Revise the preface Test #148: Commit 966a02a pushed by v--
45s master
master
45s
Unification algorithm Test #147: Commit 58f4487 pushed by v--
45s master
master
45s
Unification algorithm Test #146: Commit 3f668d7 pushed by v--
43s master
master
43s
Unification algorithm Test #145: Commit 0fb9e41 pushed by v--
48s master
master
48s