issues
search
bryangingechen
/
mathlib4
The math library of Lean 4
https://leanprover-community.github.io/mathlib4_docs
Apache License 2.0
0
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
test: zulip action
#18
adomani
opened
5 days ago
3
a new empty file
#17
adomani
closed
5 days ago
3
test >> vs >
#16
adomani
closed
5 days ago
0
add new file
#15
adomani
closed
1 week ago
17
test: add txt file
#14
adomani
closed
2 weeks ago
111
Update bors.yml
#13
bryangingechen
opened
2 months ago
1
test: CI bench action
#12
adomani
closed
2 weeks ago
30
chore: update Mathlib dependencies 2024-09-05
#11
bryangingechen
opened
3 months ago
4
dependent issue B
#10
bryangingechen
opened
3 months ago
1
dependent issue A
#9
bryangingechen
closed
3 months ago
1
dependent issue root
#8
bryangingechen
opened
3 months ago
0
adomani: test a trivial addition
#7
adomani
closed
2 months ago
33
bot fix style
#6
bryangingechen
closed
3 months ago
2
blah blah
#5
bryangingechen
closed
3 months ago
1
bors fix style
#4
bryangingechen
closed
3 months ago
0
chore: update Mathlib dependencies 2024-08-23
#3
bryangingechen
closed
3 months ago
3
add style mistake
#2
bryangingechen
closed
3 months ago
14
Bgc lint fix
#1
bryangingechen
closed
3 months ago
1