Skip to content

Actions: teorth/equational_theories

Actions

Propose PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
03-propose-pr.yml
1,294 workflow runs
1,294 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Write the rewriting background + confluence bits Propose PR #1294: Issue comment #1055 (comment) created by teorth
February 1, 2025 20:10 2s
February 1, 2025 20:10 2s
Formalize refutations: 1692 -> 47, 1832, 2441, 3050, 3456, 4065 Propose PR #1293: Issue comment #1069 (comment) created by pitmonticone
January 29, 2025 04:51 2s
January 29, 2025 04:51 2s
Formalize refutations: 1692 -> 47, 1832, 2441, 3050, 3456, 4065 Propose PR #1292: Issue comment #1069 (comment) created by teorth
January 29, 2025 04:32 2s
January 29, 2025 04:32 2s
MODIFIED_GREEDY: Refute 1692 -> 47, 1832, 2441, 3050, 3456, 4065 Propose PR #1291: Issue comment #607 (comment) created by Aaron1011
January 29, 2025 04:08 19s
January 29, 2025 04:08 19s
Write the rewriting background + confluence bits Propose PR #1290: Issue comment #1055 (comment) created by codyroux
January 26, 2025 19:06 3s
January 26, 2025 19:06 3s
Codyroux/boolean ring Propose PR #1289: Issue comment #708 (comment) created by codyroux
January 26, 2025 15:30 3s
January 26, 2025 15:30 3s
Write the rewriting background + confluence bits Propose PR #1288: Issue comment #1055 (comment) created by teorth
January 25, 2025 19:11 2s
January 25, 2025 19:11 2s
Write the rewriting background + confluence bits Propose PR #1287: Issue comment #1055 (comment) created by codyroux
January 25, 2025 18:57 3s
January 25, 2025 18:57 3s
Write the rewriting background + confluence bits Propose PR #1286: Issue comment #1055 (comment) created by teorth
January 24, 2025 20:38 3s
January 24, 2025 20:38 3s
Namespace derive and satisfies Propose PR #1285: Issue comment #1057 (comment) created by teorth
January 21, 2025 16:29 3s
January 21, 2025 16:29 3s
GREEDY-GREEDY HYBRID: Refute 1516->255 Propose PR #1284: Issue comment #820 (comment) created by pitmonticone
January 20, 2025 18:10 20s
January 20, 2025 18:10 20s
WRITING: Create a chapter in the blueprint on the spectrum of an equational law, and report various theoretical and computational results Propose PR #1283: Issue comment #1052 (comment) created by blefloch
January 19, 2025 20:58 2s
January 19, 2025 20:58 2s
Codyroux/boolean ring Propose PR #1282: Issue comment #708 (comment) created by codyroux
January 18, 2025 20:00 3s
January 18, 2025 20:00 3s
Codyroux/boolean ring Propose PR #1281: Issue comment #708 (comment) created by Shreyas4991
January 18, 2025 19:27 2s
January 18, 2025 19:27 2s
Codyroux/boolean ring Propose PR #1280: Issue comment #708 (comment) created by codyroux
January 18, 2025 17:10 2s
January 18, 2025 17:10 2s
[CONTRIBUTIONS]: Joachim Breitner Propose PR #1279: Issue comment #1046 (comment) created by nomeata
January 14, 2025 19:15 3s
January 14, 2025 19:15 3s
[CONTRIBUTIONS]: Joachim Breitner Propose PR #1278: Issue comment #1046 (comment) created by pitmonticone
January 14, 2025 17:56 3s
January 14, 2025 17:56 3s
[CONTRIBUTIONS]: Joachim Breitner Propose PR #1277: Issue comment #1046 (comment) created by teorth
January 14, 2025 16:59 2s
January 14, 2025 16:59 2s
[TEST] Propose PR #1276: Issue comment #1040 (comment) created by pitmonticone
January 6, 2025 19:54 4s
January 6, 2025 19:54 4s
WRITING: create a more precise structure for project.tex Propose PR #1275: Issue comment #873 (comment) created by Shreyas4991
January 6, 2025 02:24 13s
January 6, 2025 02:24 13s
Propose PR Propose PR #1274: created by Shreyas4991
January 6, 2025 02:22 12s
January 6, 2025 02:22 12s
WRITING: Write a section on confluent laws Propose PR #1273: Issue comment #926 (comment) created by codyroux
January 4, 2025 20:15 2s
January 4, 2025 20:15 2s
Codyroux/boolean ring Propose PR #1272: Issue comment #708 (comment) created by codyroux
January 2, 2025 14:22 2s
January 2, 2025 14:22 2s
WRITING: Write a section of the paper describing user interfaces and visualizations Propose PR #1271: Issue comment #921 (comment) created by vlad902
January 2, 2025 10:59 2s
January 2, 2025 10:59 2s
WRITING: Write a section of the paper describing user interfaces and visualizations Propose PR #1270: Issue comment #921 (comment) created by vlad902
January 2, 2025 10:59 14s
January 2, 2025 10:59 14s