Skip to content

Actions: v--/notebook

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
301 workflow runs
301 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
Install all dependencies in GitHub Actions Test #201: Commit f24373b pushed by v--
22s master
master
22s
Install all dependencies in GitHub Actions Test #200: Commit cd312e7 pushed by v--
19s master
master
19s
Add some notes on ambiguity during Skolemization Test #199: Commit 26cef65 pushed by v--
30s master
master
30s
Implement Skolemization Test #198: Commit 86722d9 pushed by v--
32s master
master
32s
Remove the merge-lockfile script from this repository Test #197: Commit ed10d64 pushed by v--
22s master
master
22s
Update package versions using the new command Test #196: Commit 2f1e2cb pushed by v--
22s master
master
22s
Remove obsolete xsdata hack Test #195: Commit ebbeaa6 pushed by v--
22s master
master
22s
Skolemization Test #194: Commit dc55f2b pushed by v--
45s master
master
45s
Show correctness of the prenex normal form algorithm Test #193: Commit bdde821 pushed by v--
43s master
master
43s
Fix lint warning Test #192: Commit 16895b9 pushed by v--
42s master
master
42s
Update obsolete references Test #191: Commit acdb17e pushed by v--
39s master
master
39s
Update obsolete references Test #190: Commit c9d01c8 pushed by v--
29s master
master
29s
Update obsolete references Test #189: Commit 58520c6 pushed by v--
30s master
master
30s
Update obsolete references Test #188: Commit 4f25a71 pushed by v--
41s master
master
41s
Revise the lattice of substructures Test #187: Commit 31316df pushed by v--
29s master
master
29s
Add some basic consistenct proofs for equational theories Test #186: Commit fcc44de pushed by v--
30s master
master
30s
Uncomment a test Test #185: Commit 5cdfd8c pushed by v--
41s master
master
41s
Refactor the paragraph on Henkin competeness Test #184: Commit 006eb94 pushed by v--
31s master
master
31s
Lemmas for Henkin's completeness theorem Test #183: Commit 4e3919a pushed by v--
49s master
master
49s
Henkin extensions are conservative Test #182: Commit 0d71c97 pushed by v--
50s master
master
50s
Update Pillow Test #181: Commit d3e34e8 pushed by v--
50s master
master
50s
Theorem on constants Test #180: Commit b73a745 pushed by v--
50s master
master
50s
Theorem on constants Test #179: Commit edc7a15 pushed by v--
48s master
master
48s
Restructure some sections on first-order logic Test #178: Commit 5d13600 pushed by v--
42s master
master
42s
Quotient structures Test #177: Commit aed77d3 pushed by v--
44s master
master
44s