M

Mathematical Components (Coq)

Settings | Report Duplicate

1

I Use This!

Moderate Activity

Commits : Listings

Analyzed about 14 hours ago. based on code collected 1 day ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Oct 17, 2025 — Oct 17, 2026 Showing page 1 of 97 Search / Filter on:
Merge pull request #1651 from KimayaBedarkar/kimaya/add-sum-comparison-lemmas	Pierre Roux	More...				5 days ago
Merge pull request #1652 from KimayaBedarkar/kimaya/add-eq-bigmax-seq	Pierre Roux	More...				5 days ago
Merge pull request #1650 from KimayaBedarkar/kimaya/add-sum-predicate-lemma	Pierre Roux	More...				5 days ago
Merge pull request #1649 from KimayaBedarkar/kimaya/add-list-lemmas	Pierre Roux	More...				5 days ago
Update boot/bigop.v	KimayaBedarkar	More...				7 days ago
Apply batched suggestions from code review	KimayaBedarkar	More...				10 days ago
Apply batched suggestions from code review	KimayaBedarkar	More...				10 days ago
Update boot/seq.v	KimayaBedarkar	More...				10 days ago
Add eq_bigmax_seq for sequence maximum witnesses	KimayaBedarkar	More...				10 days ago
Add eq_sum_leq_seq and ltn_sum_leq_seq comparison lemmas	KimayaBedarkar	More...				11 days ago
Add sub_in_sum for sequence-local predicate inclusion	KimayaBedarkar	More...				11 days ago
Add last_filter and sub_in_count sequence lemmas	KimayaBedarkar	More...				11 days ago
Merge pull request #1646 from math-comp/update-nix-toolbox	Pierre Roux	More...				21 days ago
[CI] Update Nix toolbox	Kazuhiko Sakaguchi	More...				24 days ago
[CI] infotheo now compiles on Rocq 9.2 (#1645)	Pierre Roux	More...				26 days ago
Merge pull request #1641 from proux01/ringunivpoly	Cyril Cohen	More...				about 1 month ago
Merge pull request #1560 from math-comp/dependency-orderedzmod-algebra	Kazuhiko Sakaguchi	More...				about 2 months ago
Merge pull request #1643 from math-comp/bind_scope_falgebra_sort	Pierre Roux	More...				about 2 months ago
Fix the Bind Scope declaration for Falgebra.sort	Kazuhiko Sakaguchi	More...				about 2 months ago
Merge pull request #1640 from proux01/packages-warning	Kazuhiko Sakaguchi	More...				about 2 months ago
Make individual package compilations less verbose	Pierre Roux	More...				about 2 months ago
Make ring lemmas universe polymorphic	Pierre Roux	More...				about 2 months ago
Merge pull request #1622 from proux01/drop90	Kazuhiko Sakaguchi	More...				about 2 months ago
Merge pull request #1639 from math-comp/update-gitlab-ci	Kazuhiko Sakaguchi	More...				about 2 months ago
Merge pull request #1634 from proux01/ci-test-toolbox	Kazuhiko Sakaguchi	More...				about 2 months ago
Add Rocq 9.3 to GitLab CI	Kazuhiko Sakaguchi	More...				about 2 months ago
Merge pull request #1635 from proux01/warning93	Pierre Roux	More...				2 months ago
Merge pull request #1638 from proux01/ci-update	Kazuhiko Sakaguchi	More...				2 months ago
Merge pull request #1637 from t6s/big_nat_dvdn	Pierre Roux	More...				2 months ago
[CI] fcsl-pcm dropped support for Rocq 9.0 and 9.1	Pierre Roux	More...				2 months ago

←
1
2
3
4
5
6
7
8
9
…
96
97
→