Skip to content

Actions: teorth/equational_theories

Actions

Propose PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
03-propose-pr.yml
683 workflow runs
683 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[TEST] Improve "Propose PR" workflow Propose PR #583: Issue comment #495 (comment) created by pitmonticone
October 10, 2024 16:23 2s
October 10, 2024 16:23 2s
[TEST] Improve "Propose PR" workflow Propose PR #582: Issue comment #495 (comment) created by pitmonticone
October 10, 2024 16:19 14s
October 10, 2024 16:19 14s
[TEST] Improve "Propose PR" workflow Propose PR #581: Issue comment #495 (comment) created by pitmonticone
October 10, 2024 16:18 2s
October 10, 2024 16:18 2s
[TEST] Improve "Propose PR" workflow Propose PR #580: Issue comment #495 (comment) created by pitmonticone
October 10, 2024 16:18 2s
October 10, 2024 16:18 2s
[TEST] Improve "Propose PR" workflow Propose PR #579: Issue comment #495 (comment) created by pitmonticone
October 10, 2024 16:17 2s
October 10, 2024 16:17 2s
Investigate transitively reducing the current set of implications on main Propose PR #578: Issue comment #493 (comment) created by vlad902
October 10, 2024 15:49 2s
October 10, 2024 15:49 2s
EQUATION_EXPLORER: Generalize the "Prove this!" link to a "Try this!" link for proven (or conjectured) implications/anti-implications Propose PR #577: Issue comment #415 (comment) created by Command-Master
October 10, 2024 15:45 12s
October 10, 2024 15:45 12s
EQUATION_EXPLORER: Generalize the "Prove this!" link to a "Try this!" link for proven (or conjectured) implications/anti-implications Propose PR #576: Issue comment #415 (comment) created by carlini
October 10, 2024 15:42 5s
October 10, 2024 15:42 5s
EQUATION_EXPLORER: Generalize the "Prove this!" link to a "Try this!" link for proven (or conjectured) implications/anti-implications Propose PR #575: Issue comment #415 (comment) created by carlini
October 10, 2024 15:42 3s
October 10, 2024 15:42 3s
CENTRAL_GROUPOID: Prove Theorem 5.9 (natural central groupoid axiom) Propose PR #574: Issue comment #352 (comment) created by b-mehta
October 10, 2024 15:25 22s
October 10, 2024 15:25 22s
Build performance issues from equation_command Propose PR #573: Issue comment #464 (comment) created by Shreyas4991
October 10, 2024 15:12 3s
October 10, 2024 15:12 3s
DATA: Create an automated tool to regularly gather the equations from Equations.lean and AllEquations.lean and output them to a text file that is easy for machines to read Propose PR #572: Issue comment #142 (comment) created by vlad902
October 10, 2024 15:08 3s
October 10, 2024 15:08 3s
Build performance issues from equation_command Propose PR #571: Issue comment #464 (comment) created by Shreyas4991
October 10, 2024 15:08 3s
October 10, 2024 15:08 3s
Equation Explorer shows Equation4270 wrong Propose PR #570: Issue comment #480 (comment) created by carlini
October 10, 2024 14:32 17s
October 10, 2024 14:32 17s
Equation Explorer shows Equation4270 wrong Propose PR #569: Issue comment #480 (comment) created by carlini
October 10, 2024 14:31 3s
October 10, 2024 14:31 3s
Restore equation 953 to AllEquations; make build break if it happens again Propose PR #568: Issue comment #481 (comment) created by carlini
October 10, 2024 14:29 3s
October 10, 2024 14:29 3s
Restore equation 953 to AllEquations; make build break if it happens again Propose PR #567: Issue comment #481 (comment) created by carlini
October 10, 2024 14:22 4s
October 10, 2024 14:22 4s
DATA: Create an enriched version of the Smallest Magma file that lists not only the size of the smallest finite magma obeying a law, but the actual magma itself. Propose PR #566: Issue comment #475 (comment) created by few
October 10, 2024 14:06 3s
October 10, 2024 14:06 3s
Build performance issues from equation_command Propose PR #565: Issue comment #464 (comment) created by dwrensha
October 10, 2024 13:59 3s
October 10, 2024 13:59 3s
split AllEquations into pieces for more parallelism Propose PR #564: Issue comment #472 (comment) created by Shreyas4991
October 10, 2024 13:54 3s
October 10, 2024 13:54 3s
split AllEquations into pieces for more parallelism Propose PR #563: Issue comment #472 (comment) created by vlad902
October 10, 2024 13:49 3s
October 10, 2024 13:49 3s
Build performance issues from equation_command Propose PR #562: Issue comment #464 (comment) created by dwrensha
October 10, 2024 12:46 2s
October 10, 2024 12:46 2s
Thousands separators for dashboard tables Propose PR #561: Issue comment #485 (comment) created by dwrensha
October 10, 2024 12:17 2s
October 10, 2024 12:17 2s
switch to SimplePersistentEnvExtension in EquationsCommand Propose PR #560: Issue comment #476 (comment) created by dwrensha
October 10, 2024 12:13 4s
October 10, 2024 12:13 4s
Typo fix in Lemma 1.10. (Pushforward) in intro.tex Propose PR #559: Issue comment #488 (comment) created by ChienYungChi
October 10, 2024 10:52 2s
October 10, 2024 10:52 2s