Skip to content

No labels!

There aren’t any labels for this repository quite yet.

62 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
merge-conflict
merge-conflict
The PR has a merge conflict with master, and needs manual merging. (this label is managed by a bot)
565
modifies-tactic-syntax
modifies-tactic-syntax
This PR adds a new interactive tactic or modifies the syntax of an existing tactic.
5
new-contributor
new-contributor
This PR was made by a contributor with at most 5 merged PRs. Welcome to the community!
100
performance-hack
performance-hack
Something that improves performance but is poorly understood.
2
please-adopt
please-adopt
Inactive PR (would be valuable to adopt)
23
porting-notes
porting-notes
Mathlib3 to Mathlib4 porting notes.
32
ready-to-merge
ready-to-merge
This PR has been sent to bors.
2
RFC
RFC
Request for comment
25
slow-typeclass-synthesis
slow-typeclass-synthesis
20
t-algebra
t-algebra
Algebra (groups, rings, fields, etc)
346
t-algebraic-geometry
t-algebraic-geometry
Algebraic geometry
35
t-analysis
t-analysis
Analysis (normed *, calculus)
77
t-category-theory
t-category-theory
Category theory
89
t-combinatorics
t-combinatorics
Combinatorics
29
t-computability
t-computability
Computability theory (TMs, DFAs, languages, grammars, etc)
18
t-condensed
t-condensed
Condensed mathematics
t-data
t-data
Data (lists, quotients, numbers, etc)
64
t-differential-geometry
t-differential-geometry
Manifolds etc
28
t-dynamics
t-dynamics
Dynamical Systems
4
t-euclidean-geometry
t-euclidean-geometry
Affine and axiomatic geometry
4
t-linter
t-linter
Linter
31
t-logic
t-logic
Logic (model theory, etc)
36
t-measure-probability
t-measure-probability
Measure theory / Probability theory
29
t-meta
t-meta
Tactics, attributes or user commands
129
t-number-theory
t-number-theory
Number theory (also use t-algebra or t-analysis to specialize)
26
t-order
t-order
Order theory
55
t-set-theory
t-set-theory
Set theory
45
t-topology
t-topology
Topological spaces, uniform spaces, metric spaces, filters
94
tech debt
tech debt
Tracking cross-cutting technical debt, see e.g. the "Technical debt counters" stream on zulip
18
test-ci
test-ci
A label used to help test CI actions
3