Coq proof assistant

Settings | Report Duplicate

20

I Use This!

Very High Activity

Commits : Listings

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

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Nov 16, 2024 — Nov 16, 2025 Showing page 6 of 1,567 Search / Filter on:
Merge PR #21194: Remove the last use of GlobRef.Set and deprecate it.	coqbot-app[bot]	More...				about 1 month ago
Merge PR #21204: fix typo in parsing.md	coqbot-app[bot]	More...				about 1 month ago
fix typo in parsing.md	Gaëtan Gilbert	More...				about 1 month ago
Merge PR #21174: Deprecate Names.Label	coqbot-app[bot]	More...				about 1 month ago
Add a changelog.	Pierre-Marie Pédrot	More...				about 1 month ago
Introduce a command to create Rewrite hint databases.	Pierre-Marie Pédrot	More...				about 1 month ago
Merge PR #21201: Do not rely on term ordering in Search priority ordering.	coqbot-app[bot]	More...				about 1 month ago
Do not rely on term ordering in Search priority ordering.	Pierre-Marie Pédrot	More...				about 1 month ago
Merge PR #21175: Print Assumptions store full globref instead of just label in Axiom	coqbot-app[bot]	More...				about 1 month ago
Merge PR #20506: An elimination constraint graph to manage elimination of sort variables	coqbot-app[bot]	More...				about 1 month ago
Merge PR #21117: opam package use relocatable mode	coqbot-app[bot]	More...				about 1 month ago
Merge PR #21149: Properly handle `Timeout x Fail cmd`	coqbot-app[bot]	More...				about 1 month ago
Merge PR #20662: Reference not found error suggests similar names	coqbot-app[bot]	More...				about 1 month ago
Merge PR #21171: Doc: mention open_constr for ltac1 and update related doc	coqbot-app[bot]	More...				about 1 month ago
Merge PR #21186: Add dev/ci/ci-env.sh which can be sourced to set paths for CI	coqbot-app[bot]	More...				about 1 month ago
Merge PR #21185: Always set -e in ci-common	coqbot-app[bot]	More...				about 1 month ago
Deprecate GlobRef.Set.	Pierre-Marie Pédrot	More...				about 1 month ago
Remove the last use of GlobRef.Set in Hints.	Pierre-Marie Pédrot	More...				about 1 month ago
Merge PR #21189: Deprecate some set / map structures based on canonical names in Names.	coqbot-app[bot]	More...				about 1 month ago
Merge PR #21190: Constant effects in Reductionops are now registered per user name.	coqbot-app[bot]	More...				about 1 month ago
Merge PR #21184: Merge the Dumpglob API to start dumping and to push a glob output.	coqbot-app[bot]	More...				about 1 month ago
Merge PR #21192: Do not rely on canonical names in Coercionops table.	coqbot-app[bot]	More...				about 1 month ago
Merge PR #21191: Rely on user names for projection table in extraction.	coqbot-app[bot]	More...				about 1 month ago
Merge PR #21187: new version of find_positions	coqbot-app[bot]	More...				about 1 month ago
Do not rely on canonical names in Coercionops table.	Pierre-Marie Pédrot	More...				about 1 month ago
Rely on user names for projection table in extraction.	Pierre-Marie Pédrot	More...				about 1 month ago
Constant effects in Reductionops are now registered per user name.	Pierre-Marie Pédrot	More...				about 1 month ago
Merge PR #21188: Use maps based on user names in Funind internal state.	coqbot-app[bot]	More...				about 1 month ago
Use maps based on user names in Funind internal state.	Pierre-Marie Pédrot	More...				about 1 month ago
Merge PR #20652: Fix wrong threading of cv_pb/pb in unification.ml	coqbot-app[bot]	More...				about 1 month ago

←
1
2
3
4
5
6
7
8
9
10
…
1566
1567
→