fpvandoorn/bonnanalysis issues and pull requests

#52 - Update scripts

Pull Request - State: closed - Opened by pitmonticone 4 months ago

#51 - Prove prop 6.13 [Folland]

Pull Request - State: closed - Opened by KunhongDu 7 months ago

#50 - Distributions

Pull Request - State: closed - Opened by timlichtnau 7 months ago - 1 comment

#49 - Create dependabot

Pull Request - State: closed - Opened by pitmonticone 7 months ago - 1 comment

#48 - speed up some proofs; some changes

Pull Request - State: closed - Opened by madeve-unipi 7 months ago

#47 - Plancharel

Pull Request - State: closed - Opened by sterecht 7 months ago

#46 - Bump actions

Pull Request - State: closed - Opened by pitmonticone 7 months ago

#45 - Enrich .gitignore

Pull Request - State: closed - Opened by pitmonticone 7 months ago

#44 - Golf `Hadamard.lean`

Pull Request - State: closed - Opened by pitmonticone 7 months ago

#43 - Fix formatting

Pull Request - State: closed - Opened by pitmonticone 7 months ago - 1 comment

#42 - Golf a few proofs

Pull Request - State: closed - Opened by pitmonticone 7 months ago - 3 comments

#41 - Speed up CI

Pull Request - State: closed - Opened by pitmonticone 7 months ago - 4 comments

#40 - Distributions

Pull Request - State: open - Opened by timlichtnau 7 months ago - 1 comment

#39 - Proved a case for RT

Pull Request - State: closed - Opened by KunhongDu 7 months ago - 1 comment

#38 - Three lines lemma on any strip from the Mathlib version on the unit strip

Pull Request - State: closed - Opened by madeve-unipi 7 months ago

#37 - Finished proof three lines lemma, all cases; simplified several proofs

Pull Request - State: closed - Opened by madeve-unipi 8 months ago - 1 comment

#36 - Some fixes + removed redundancies

Pull Request - State: closed - Opened by madeve-unipi 8 months ago

#35 - Proved lemma 3-3

Pull Request - State: closed - Opened by KunhongDu 8 months ago

#34 - Speed up CI

Pull Request - State: closed - Opened by pitmonticone 8 months ago - 3 comments

#33 - Golf Dual.lean

Pull Request - State: closed - Opened by pitmonticone 8 months ago

#32 - Fix disk space issue

Pull Request - State: closed - Opened by pitmonticone 8 months ago

#31 - Sketch proof missing case

Pull Request - State: closed - Opened by madeve-unipi 8 months ago - 3 comments

#30 - Conjugate of g

Pull Request - State: closed - Opened by metinersin 8 months ago

#29 - measure theoretic properties of conjugate of g

Pull Request - State: closed - Opened by metinersin 8 months ago

#28 - Three lines lemma work (read description)

Pull Request - State: closed - Opened by madeve-unipi 8 months ago - 1 comment

#27 - Golf a few proofs

Pull Request - State: closed - Opened by pitmonticone 8 months ago

#26 - Resolved merge confilt

Pull Request - State: closed - Opened by KunhongDu 8 months ago - 1 comment

#25 - Prove lemma 3.4

Pull Request - State: closed - Opened by KunhongDu 8 months ago - 1 comment

#24 - Fixed statement + work towards three lines lemma

Pull Request - State: closed - Opened by madeve-unipi 8 months ago - 1 comment

#23 - Fix label errors (blueprint web)

Pull Request - State: closed - Opened by pitmonticone 9 months ago

#22 - fixed sorry

Pull Request - State: closed - Opened by madeve-unipi 9 months ago - 1 comment

#21 - Fix `\ref`-related LaTeX warnings

Pull Request - State: closed - Opened by pitmonticone 9 months ago

#20 - Fix typos in `distributions.tex`

Pull Request - State: closed - Opened by pitmonticone 9 months ago

#19 - Added Distributions.tex

Pull Request - State: closed - Opened by timlichtnau 9 months ago

#18 - Fix comment environment issue

Pull Request - State: closed - Opened by pitmonticone 9 months ago

#17 - toDual function.

Pull Request - State: closed - Opened by metinersin 9 months ago

#16 - Fix typos in blueprint

Pull Request - State: closed - Opened by pitmonticone 10 months ago

#15 - Dual changes

Pull Request - State: closed - Opened by madeve-unipi 10 months ago - 1 comment

#14 - Fix typos in blueprint

Pull Request - State: closed - Opened by pitmonticone 10 months ago

#13 - Dual

Pull Request - State: closed - Opened by KunhongDu 10 months ago - 1 comment

#12 - Interpolation blueprint

Pull Request - State: closed - Opened by madeve-unipi 10 months ago - 1 comment

#11 - Interpolation blueprint

Pull Request - State: closed - Opened by madeve-unipi 10 months ago - 2 comments

#10 - Use capitalised clever references and fix LaTeX error

Pull Request - State: closed - Opened by pitmonticone 10 months ago

#9 - Fix fontspec error

Pull Request - State: closed - Opened by pitmonticone 10 months ago

#8 - Fix LaTeX warnings

Pull Request - State: closed - Opened by pitmonticone 10 months ago - 1 comment

#7 - Fixing typos

Pull Request - State: closed - Opened by sterecht 10 months ago

#6 - Blueprint for Plancharel's theorem

Pull Request - State: closed - Opened by sterecht 10 months ago - 1 comment

#5 - Symm

Pull Request - State: closed - Opened by KunhongDu 10 months ago

#4 - test

Pull Request - State: closed - Opened by timlichtnau 10 months ago - 1 comment

#3 - Pr test

Pull Request - State: closed - Opened by madeve-unipi 10 months ago - 1 comment

#2 - minor changes in README and plancherel

Pull Request - State: closed - Opened by fpvandoorn 10 months ago

#1 - test PR: update readme

Pull Request - State: closed - Opened by fpvandoorn 10 months ago

GitHub / fpvandoorn/bonnanalysis issues and pull requests