8000 Commits · fpvandoorn/BonnAnalysis · GitHub

More Web Proxy on the site http://driver.im/

Commits

Commits on Nov 8, 2024

remove unnecessary line in `scripts/update_mathlib.sh`
pitmonticone
committed

Commits on Oct 9, 2024

Update scripts (#52)
pitmonticone
authored

Commits on Aug 15, 2024

Golf a few proofs (#42)
pitmonticone
authored

Commits on Jul 29, 2024

Create dependabot (#49)

pitmonticone
and
fpvandoorn
authored

Commits on Jul 27, 2024

Commits on Jul 22, 2024

Three lines lemma on any strip from the Mathlib version on the unit strip (#38)
madeve-unipi
authored

Commits on Jul 19, 2024

Commits on Jul 15, 2024

Proved a case for RT (#39)
KunhongDu
authored

Commits on Jul 12, 2024

move HasStrongType to a separate file
fpvandoorn
committed

Commits on Jul 11, 2024

Finished proof three lines lemma, all cases; simplified several proofs (#37)
madeve-unipi
authored

Commits on Jul 10, 2024

Commits on Jul 8, 2024

Commits on Jul 6, 2024

Update Dual.lean (#33)
pitmonticone
authored

Commits on Jul 5, 2024

Commits on Jul 4, 2024

Conjugate of g (#30)
metinersin
authored

Commits on Jul 3, 2024

Commits on Jul 1, 2024

Three lines lemma work (read description) (#28)
madeve-unipi
authored

Commits on Jun 26, 2024

bump Mathlib
fpvandoorn
committed

0