issues
search
mseri
/
BET
Project for "Machine-Checked Mathematics" at the Lorentz Center
Apache License 2.0
6
stars
5
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Updates available and ready to merge.
#65
github-actions[bot]
closed
1 week ago
0
Port TopologicalEntropy to Mathlib
#64
pitmonticone
opened
1 week ago
1
Add a new definition of inversion on EReal.
#63
D-Thomine
closed
1 week ago
0
Minimise imports and add links to Mathlib PR
#62
pitmonticone
closed
1 week ago
0
Removed the "find_home"s for better compilation time.
#61
D-Thomine
closed
1 week ago
1
Cleanup
#60
pitmonticone
closed
2 weeks ago
0
Cleanup
#59
pitmonticone
closed
2 weeks ago
0
Last cleanup.
#58
D-Thomine
closed
2 weeks ago
1
Add documentation to birkhoff
#57
mseri
closed
2 weeks ago
0
Make topological topological
#56
mseri
closed
2 weeks ago
0
Topological Entropy: required updates for `mathlib`-ization
#55
mseri
opened
2 weeks ago
1
Ensure TopologicalEntropy is imported
#54
mseri
closed
2 weeks ago
1
Updates available and ready to merge.
#53
github-actions[bot]
closed
2 weeks ago
0
Add documentation to Birkhoff.lean
#52
mseri
opened
2 weeks ago
1
Make Topological.lean really topological
#51
mseri
closed
2 weeks ago
1
Golf topological entropy
#50
pitmonticone
closed
2 weeks ago
2
Add auxiliary lemma
#49
pitmonticone
closed
2 weeks ago
1
Add proof-of-bet-kh.pdf
#48
pitmonticone
closed
2 weeks ago
0
Birkhoff cleanup
#47
mseri
closed
2 weeks ago
0
Update to latest lean/mathlib
#46
mseri
closed
2 weeks ago
0
Updates available and ready to merge.
#45
github-actions[bot]
closed
4 weeks ago
0
Add topological entropy.
#44
D-Thomine
closed
1 month ago
3
Updates available and ready to merge.
#43
github-actions[bot]
closed
1 month ago
0
Updates available and ready to merge.
#42
github-actions[bot]
closed
1 month ago
0
Golf proofs in `Minimal.lean`
#41
pitmonticone
closed
1 month ago
4
chore: bump tj-actions/verify-changed-files from 18 to 20
#40
dependabot[bot]
closed
1 month ago
0
chore: update workflow to use lean-action
#39
oliver-butterley
closed
1 month ago
0
Include Topological entropy
#38
D-Thomine
closed
1 month ago
3
Import changes from WIP
#37
mseri
closed
1 month ago
1
feat: add results to minimal.lean
#36
oliver-butterley
closed
1 month ago
0
Complete the final part of birkhoff's ergodic theorem
#35
oliver-butterley
opened
1 month ago
0
Merge the minimal set existence results into `minimal.lean`
#34
oliver-butterley
closed
1 month ago
0
refactor: extract minimal stuff into separate file and add some comments
#33
oliver-butterley
closed
1 month ago
0
chore: add licence info to lean files
#32
oliver-butterley
closed
1 month ago
0
Update the workflow to take advantage of `lean-action`
#31
oliver-butterley
closed
1 month ago
0
Update the workflow to take advantage of `lean-update`
#30
oliver-butterley
opened
1 month ago
0
Translate lakefile to toml
#29
mseri
closed
1 month ago
1
Updates available and ready to merge.
#28
github-actions[bot]
closed
1 month ago
0
Update lakefile.lean to toml version
#27
oliver-butterley
closed
1 month ago
0
Fix file headers with the license
#26
mseri
closed
1 month ago
2
Merge relevant changes from WIP to the main branch
#25
mseri
closed
1 month ago
0
Minimal.lean to be polished and harmonized with mathlib
#24
mseri
opened
1 month ago
10
Split topological.lean into its functional components
#23
mseri
closed
1 month ago
0
⛈️ manual update of lean-toolchain
#22
oliver-butterley
closed
1 month ago
1
Golf proofs and fix typos
#21
pitmonticone
closed
1 month ago
2
Updates available and ready to merge.
#20
github-actions[bot]
closed
2 months ago
0
Updates available and ready to merge.
#19
github-actions[bot]
closed
2 months ago
0
Updates available and ready to merge.
#18
github-actions[bot]
closed
2 months ago
0
Updates available and ready to merge.
#17
github-actions[bot]
closed
2 months ago
0
Updates available and ready to merge.
#16
github-actions[bot]
closed
3 months ago
0
Next