Actions: leanprover-community/mathlib4
Actions
27,780 workflow runs
27,780 workflow runs
extend_docs
always persist new docstrings across imports
Post PR summary comment
#27796:
Pull request #17043
synchronize
by
adomani
pmap
for vectors and prove some lemmas
Post PR summary comment
#27795:
Pull request #17189
synchronize
by
Command-Master
mem_(one|two)Coboundaries_iff
Post PR summary comment
#27794:
Pull request #17934
synchronize
by
yu-yama
pmap
for vectors and prove some lemmas
Post PR summary comment
#27793:
Pull request #17189
synchronize
by
Command-Master
IsLittleOTVS
Post PR summary comment
#27784:
Pull request #9675
synchronize
by
urkud
Tactic.Common
in Mathlib
Post PR summary comment
#27783:
Pull request #18498
synchronize
by
Vierkantor
Tactic.Common
in Mathlib
Post PR summary comment
#27777:
Pull request #18498
synchronize
by
Vierkantor
IsLittleOTVS
Post PR summary comment
#27776:
Pull request #9675
synchronize
by
urkud
Tactic.Common
in Mathlib
Post PR summary comment
#27774:
Pull request #18498
opened
by
Vierkantor