Skip to content
This repository has been archived by the owner on Jul 24, 2024. It is now read-only.

Actions: leanprover-community/mathlib3

Actions

Cross off linked issues

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
sync_closed_tasks.yaml
33 workflow runs
33 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat(combinatorics/simple_graph): Construct a tripartite graph from its triangles Cross off linked issues #12465: Pull request #19202 closed by YaelDillies
November 18, 2023 11:08 10s tripartite_from_triangles
tripartite_from_triangles
November 18, 2023 11:08 10s
feat(order/flag): Order isomorphisms act on flags Cross off linked issues #12464: Pull request #18754 closed by YaelDillies
November 18, 2023 10:52 9s grade_flag
grade_flag
November 18, 2023 10:52 9s
feat(algebra/algebra/basic): Algebras are bimodules Cross off linked issues #12463: Pull request #10716 closed by YaelDillies
November 18, 2023 10:37 12s eric-wieser/algebra-bimodule
eric-wieser/algebra-bimodule
November 18, 2023 10:37 12s
feat(combinatorics/simple_graph): Locally linear graphs Cross off linked issues #12462: Pull request #19201 closed by YaelDillies
November 18, 2023 10:36 9s locally_linear_graph
locally_linear_graph
November 18, 2023 10:36 9s
refactor: Remove the K argument from exp Cross off linked issues #12461: Pull request #19244 closed by eric-wieser
November 12, 2023 17:29 10s eric-wieser/exp-rat
eric-wieser/exp-rat
November 12, 2023 17:29 10s
feat(category_theory/category/Pointed): Pointed is a monoidal category Cross off linked issues #12460: Pull request #15390 closed by YaelDillies
November 12, 2023 09:46 14s Pointed_monoidal
Pointed_monoidal
November 12, 2023 09:46 14s
feat(order/complete_lattice_intervals): complete lattice instances for Ici,Iic,Icc Cross off linked issues #12459: Pull request #15135 closed by apnelson1
November 10, 2023 20:46 9s complete_lattice_Iic_Ici
complete_lattice_Iic_Ici
November 10, 2023 20:46 9s
feat(ring_theory/congruence): add the complete_lattice instance Cross off linked issues #12458: Pull request #18588 closed by YaelDillies
November 10, 2023 13:14 14s eric-wieser/ring_con-lattice
eric-wieser/ring_con-lattice
November 10, 2023 13:14 14s