feat(AlgebraicTopology/SimplicialSet): anodyne extensions#37321
Open
joelriou wants to merge 154 commits intoleanprover-community:masterfrom
Open
feat(AlgebraicTopology/SimplicialSet): anodyne extensions#37321joelriou wants to merge 154 commits intoleanprover-community:masterfrom
joelriou wants to merge 154 commits intoleanprover-community:masterfrom
Commits
Commits on Jan 30, 2025
Commits on Feb 7, 2025
Commits on Feb 8, 2025
Commits on Feb 14, 2025
Commits on Mar 11, 2025
Commits on Mar 14, 2025
Commits on Mar 17, 2025
Commits on Apr 18, 2025
Commits on Jun 18, 2025
Commits on Aug 5, 2025
- committed
- committed
- committed
- committed
- committed
Commits on Aug 6, 2025
- committed
- andauthored
- andauthored
- andauthored
- andauthored
- committed
- andauthored
- andauthored
- committed
- committed
Commits on Aug 7, 2025
- committed
- committed
- committed
- committed
Commits on Aug 11, 2025
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Aug 13, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Aug 14, 2025
Commits on Aug 15, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Merge remote-tracking branch 'origin/moss-pairing-rank-function' into moss-pairing-rank-function-nat
committed- committed
- committed
Merge remote-tracking branch 'origin/moss-pairing-rank-function' into moss-pairing-rank-function-nat
committed- committed
- committed
Commits on Sep 29, 2025
Commits on Oct 1, 2025
Commits on Oct 8, 2025
Commits on Oct 9, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Merge remote-tracking branch 'origin/moss-pairing-rank-function' into moss-pairing-rank-function-nat
committed- committed
- committed
- committed
Merge remote-tracking branch 'origin/moss-pairing-rank-function' into moss-pairing-rank-function-nat
committed- committed
Commits on Oct 22, 2025
- committed
- committed
- committed
Merge remote-tracking branch 'origin/moss-pairing-rank-function' into moss-pairing-rank-function-nat
committed- committed
- committed
- committed
Commits on Oct 29, 2025
Commits on Nov 2, 2025
- committed
- committed
Merge remote-tracking branch 'origin/moss-pairing-rank-function' into moss-pairing-rank-function-nat
committed- committed
Commits on Nov 20, 2025
Commits on Nov 26, 2025
Commits on Nov 27, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Dec 1, 2025
Commits on Dec 2, 2025
Commits on Dec 6, 2025
Commits on Dec 15, 2025
Commits on Dec 24, 2025
Commits on Mar 5, 2026
Commits on Mar 26, 2026
Commits on Mar 28, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Mar 29, 2026
- committed
- committed
- committed