Skip to content

Actions: teorth/equational_theories

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4,918 workflow run results
4,918 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Make equations link to a 'prove this' link. Claim Issue #207: Issue comment #325 (comment) created by teorth
October 5, 2024 18:04 2s
October 5, 2024 18:04 2s
Make equations link to a 'prove this' link. Awaiting Review #207: Issue comment #325 (comment) created by teorth
October 5, 2024 18:04 2s
October 5, 2024 18:04 2s
Make equations link to a 'prove this' link. Propose PR #207: Issue comment #325 (comment) created by teorth
October 5, 2024 18:04 2s
October 5, 2024 18:04 2s
Make equations link to a 'prove this' link. Withdraw PR #207: Issue comment #325 (comment) created by teorth
October 5, 2024 18:04 2s
October 5, 2024 18:04 2s
Make equations link to a 'prove this' link. Disclaim Issue #207: Issue comment #325 (comment) created by teorth
October 5, 2024 18:04 2s
October 5, 2024 18:04 2s
FRONTEND: A web tool that, given equation numbers X and Y, creates a Lean Web playground for proving that X does or does not imply Y Disclaim Issue #206: Issue comment #316 (comment) created by carlini
October 5, 2024 18:02 2s
October 5, 2024 18:02 2s
FRONTEND: A web tool that, given equation numbers X and Y, creates a Lean Web playground for proving that X does or does not imply Y Claim Issue #206: Issue comment #316 (comment) created by carlini
October 5, 2024 18:02 2s
October 5, 2024 18:02 2s
FRONTEND: A web tool that, given equation numbers X and Y, creates a Lean Web playground for proving that X does or does not imply Y Awaiting Review #206: Issue comment #316 (comment) created by carlini
October 5, 2024 18:02 2s
October 5, 2024 18:02 2s
FRONTEND: A web tool that, given equation numbers X and Y, creates a Lean Web playground for proving that X does or does not imply Y Withdraw PR #206: Issue comment #316 (comment) created by carlini
October 5, 2024 18:02 2s
October 5, 2024 18:02 2s
FRONTEND: A web tool that, given equation numbers X and Y, creates a Lean Web playground for proving that X does or does not imply Y Propose PR #206: Issue comment #316 (comment) created by carlini
October 5, 2024 18:02 12s
October 5, 2024 18:02 12s
Make equations link to a 'prove this' link. Compile blueprint #941: Pull request #325 opened by carlini
October 5, 2024 18:01 6m 55s carlini:link-to-prover
carlini:link-to-prover
October 5, 2024 18:01 6m 55s
Make equation viewer visible from project page (#321) Compile blueprint #940: Commit 51127a6 pushed by pitmonticone
October 5, 2024 17:56 7m 13s main
main
October 5, 2024 17:56 7m 13s
if underscores are desirable then use them more efficiently (#323) Compile blueprint #939: Commit d22688a pushed by pitmonticone
October 5, 2024 17:55 1m 44s main
main
October 5, 2024 17:55 1m 44s
if underscores are desirable then use them more efficiently (#323) Lint Style #917: Commit d22688a pushed by pitmonticone
October 5, 2024 17:55 10s main
main
October 5, 2024 17:55 10s
TACTIC: law_to_equation and equation_to_law Disclaim Issue #205: Issue comment #147 (comment) created by Command-Master
October 5, 2024 17:50 2s
October 5, 2024 17:50 2s
TACTIC: law_to_equation and equation_to_law Withdraw PR #205: Issue comment #147 (comment) created by Command-Master
October 5, 2024 17:50 2s
October 5, 2024 17:50 2s
TACTIC: law_to_equation and equation_to_law Claim Issue #205: Issue comment #147 (comment) created by Command-Master
October 5, 2024 17:50 2s
October 5, 2024 17:50 2s
TACTIC: law_to_equation and equation_to_law Awaiting Review #205: Issue comment #147 (comment) created by Command-Master
October 5, 2024 17:50 2s
October 5, 2024 17:50 2s
TACTIC: law_to_equation and equation_to_law Propose PR #205: Issue comment #147 (comment) created by Command-Master
October 5, 2024 17:50 2s
October 5, 2024 17:50 2s
Transitive closure pruning the finite magmas Propose PR #204: Issue comment #265 (comment) created by zaklogician
October 5, 2024 17:48 2s
October 5, 2024 17:48 2s
Transitive closure pruning the finite magmas Claim Issue #204: Issue comment #265 (comment) created by zaklogician
October 5, 2024 17:48 2s
October 5, 2024 17:48 2s
Transitive closure pruning the finite magmas Disclaim Issue #204: Issue comment #265 (comment) created by zaklogician
October 5, 2024 17:48 2s
October 5, 2024 17:48 2s
Transitive closure pruning the finite magmas Withdraw PR #204: Issue comment #265 (comment) created by zaklogician
October 5, 2024 17:48 2s
October 5, 2024 17:48 2s
Transitive closure pruning the finite magmas Awaiting Review #204: Issue comment #265 (comment) created by zaklogician
October 5, 2024 17:48 2s
October 5, 2024 17:48 2s
All4x4Tables: Integrate straggler counterexamples Lint Style #916: Pull request #324 opened by zaklogician
October 5, 2024 17:47 10s zaklogician:gather_counterexamples
zaklogician:gather_counterexamples
October 5, 2024 17:47 10s