Sotwe logo Sotwe logo

Top Tweets for #Mathlib

IlinVasily29521's profile image
Vasily Ilin @IlinVasily29521
7/n Big thanks to Leonardo de Moura, the #mathlib maintainers and the broader OSS @leanprover community! Let's pool our Lean together! Repo: https://t.co/Nb33BdJQYD Docs: https://t.co/uliLrWjDE0 #Lean4 #mathlib4 #formalization
1
3
0
2
143
enakalle's profile image
梅谷 武 / Takeshi Umetani @enakalle
#定理証明支援系 #Lean #Mathlib をメモリ16GBマシンで動かす方法ですがビルド済みキャッシュを使えばなんとか動くことがわかりました。メモリ使用量は14.3GBでかろうじて足りているようです。
enakalle's profile image
梅谷 武 / Takeshi Umetani @enakalle
#定理証明支援系 #Lean + #Mathlib で命題論理シミュレータの実装試験を行っていますがメモリ16GBの開発マシンでは重すぎることがわかりました。Mathlibを使うには最��でも32GB必要だそうです。しょうがないのでMathlibを外してLeanネイティブだけでやろうとすると証明コードが膨大になります。
1
0
0
1
152
1
0
0
0
69
SecDataResearch's profile image
Secure Data Research Verified account @SecDataResearch
The secret behind FixedPoint127's Lambert W0. Better than #solady... #ethereum #mathlib #liquidity #assetpricing #lambertw
SecDataResearch's tweet photo. The secret behind FixedPoint127's Lambert W0. Better than #solady... #ethereum #mathlib #liquidity #assetpricing #lambertw https://t.co/M9lXNnIsoh
0
1
0
0
42
enakalle's profile image
梅谷 武 / Takeshi Umetani @enakalle
#定理証明支援系 #Lean + #Mathlib で命題論理シミュレータの実装試験を行っていますがメモリ16GBの開発マシンでは重すぎることがわかりました。Mathlibを使うには最低でも32GB必要だそうです。しょうがないのでMathlibを外してLeanネイティブだけでやろうとすると証明コードが膨大になります。
1
0
0
1
152
kitasancoin's profile image
KitaSan Verified account @kitasancoin
OxiLean 0.1.0: 30,000 tests, 0 failures — in pure safe Rust #lean4 #prover #mathlib #Rust
kitasancoin's profile image
KitaSan Verified account @kitasancoin
I just published OxiLean 0.1.0: https://t.co/mQGhMgMa5R
1
2
1
0
223
0
1
1
0
82
BackToTheFort's profile image
Cody Shane Mitchell Verified account @BackToTheFort
I love math. This might be the best idea I had yet. #mathlib
BackToTheFort's tweet photo. I love math. This might be the best idea I had yet. #mathlib https://t.co/wrR8CMqFGP
0
0
0
0
13
leanprover's profile image
Lean Verified account @leanprover
The next bi-monthly #Mathlib community meeting is tomorrow Friday, 13th at 3pm UTC. Join to hear about ongoing #LeanLang formalization projects and connect with other contributors! ➡️ See all upcoming community events on our website: https://t.co/zKIqp9O0xz
leanprover's tweet photo. The next bi-monthly #Mathlib community meeting is tomorrow Friday, 13th at 3pm UTC. Join to hear about ongoing #LeanLang formalization projects and connect with other contributors! ➡️ See all upcoming community events on our website: https://t.co/zKIqp9O0xz https://t.co/yGD1vVlcVc
0
34
6
1
2K
ArtScott4209339's profile image
Art Scott @ArtScott4209339
#Reversible #photonic #computing as #surfing https://t.co/fd3cZ0ai5L #Lean4 #Mathlib
ArtScott4209339's tweet photo. #Reversible #photonic #computing as #surfing https://t.co/fd3cZ0ai5L #Lean4 #Mathlib https://t.co/POrDTWI69u
0
0
0
0
17
leanprover's profile image
Lean Verified account @leanprover
Don't forget: Lean Together 2026 kicks off Monday with talks on formalization, AI, and the future of #LeanLang and #Mathlib! Browse the full schedule and add individual talks directly to your calendar so you don't miss the sessions that matter most to you. See the schedule: https://t.co/WQ3fxbAwer
leanprover's tweet photo. Don't forget: Lean Together 2026 kicks off Monday with talks on formalization, AI, and the future of #LeanLang and #Mathlib! Browse the full schedule and add individual talks directly to your calendar so you don't miss the sessions that matter most to you. See the schedule: https://t.co/WQ3fxbAwer
1
99
13
30
6K
leanprover's profile image
Lean Verified account @leanprover
Check out the schedule for the upcoming Lean Together 2026 meeting! We hope to see you there! #LeanLang #LeanProver #Mathlib #OpenSource
ArturLojewski's profile image
Artur Lojewski @ArturLojewski
Lean Together 2026 is an annual online meeting for users, developers, and fans of the Lean programming language and theorem prover and its library Mathlib. Date: January 19-23, 2026 Schedule: https://t.co/7FkUHcAbRN #LeanLang #LeanProver #LeanTogether @leanprover
2
31
7
15
5K
4
39
7
8
5K
leanprover's profile image
Lean Verified account @leanprover
The next bi-monthly #Mathlib community meeting is tomorrow (Friday Dec 12) at 3pm UTC. Join to hear about ongoing #LeanLang formalization projects and connect with other contributors! ➡️ See all upcoming community events on our website: https://t.co/fZgIn7I18W
leanprover's tweet photo. The next bi-monthly #Mathlib community meeting is tomorrow (Friday Dec 12) at 3pm UTC. Join to hear about ongoing #LeanLang formalization projects and connect with other contributors! ➡️ See all upcoming community events on our website: https://t.co/fZgIn7I18W https://t.co/A5Zc2IIWri
0
87
14
15
5K
t81dev's profile image
t81dev @t81dev
Key features that make it shine: ✅ 48-trit limb scalars with safe overflow & hashing 📷bigint with Karatsuba mul 📷 Modular Montgomery helpers for const-time ops Python bindings for quick prototyping #Programming #MathLib #SIMD
1
1
0
0
29
ccrisccris's profile image
Cristiano Calcagno Verified account @ccrisccris
We need Codelib: like #Mathlib but for code. E.g. sorting, graph algos, collections, etc. All with formal proofs of correctness, complexity bounds, and safety properties.
0
4
0
0
172
fredyfredo123's profile image
7rtp Verified account @fredyfredo123
@leanprover Rat in #mathlib must be rewritten without any axiom. That kind of stuff must stop.
0
0
0
0
27
equant_org's profile image
Fabio E. Zola @equant_org
@leanprover @leodemoura created it, it's great 🙂: small kernel, massive library, zero bloat. Here is a demo: https://t.co/f8ILgDusUL #LeanProver #Mathlib #FormalMath
0
0
0
0
9
leanprover's profile image
Lean Verified account @leanprover
The next bi-monthly #Mathlib community meeting is tomorrow (Friday Oct 10) at 2pm UTC. Join to hear about ongoing #LeanLang formalization projects and connect with contributors. See all community events on our website: https://t.co/3o1dZW9HcT
1
34
6
4
3K
Jose_A_Alonso's profile image
José A. Alonso @Jose_A_Alonso
Readings shared October 8, 2025. https://t.co/rnnoPZO8wA #FunctionalProgramming #Haskell #ITP #LeanProver #Math #Mathlib
0
0
0
2
197
leanprover's profile image
Lean Verified account @leanprover
Looking for a specific #LeanLang or #Mathlib theorem but can't remember its exact name? Loogle lets you search by pattern matching and type signatures! You can even use Loogle directly from within #VSCode via the Lean 4 VS Code extension! Try it out: https://t.co/YA2NGHUeQw
2
58
6
12
3K
Jose_A_Alonso's profile image
José A. Alonso @Jose_A_Alonso
Growing Mathlib: Maintenance of a large scale mathematical library. ~ Anne Baanen, Matthew Robert Ballard, Johan Commelin, Bryan Gin-ge Chen, Michael Rothgang, Damiano Testa. https://t.co/rWaWw53wMJ #ITP #LeanProver #Mathlib #Math
0
3
0
0
363
Jose_A_Alonso's profile image
José A. Alonso @Jose_A_Alonso
Readings shared October 3, 2025. https://t.co/JlUo1azsT0 #AI #ATP #AlphaProof #FunctionalProgramming #Haskell #ITP #LeanProver #Math #Mathlib
1
1
0
0
261

Last Seen Hashtags on Sotwe

MiaKhalifa
fbtwvn
Seen from Netherlands
ديوث_بدوي
Seen from United States
romaniasupports1d
Seen from Colombia
mom #son
Seen from Austria
mombody
Seen from Turkey
MYSVERSE
Seen from Netherlands
オナペ
Seen from Japan
tesettur
Seen from Turkey
sellingcontent
Seen from Turkey

Trends for you

1
Brunson
Under 10K tweets
2
#loveislandusa
Under 10K tweets
3
Kratos
Under 10K tweets
4
God of War
Under 10K tweets
5
California
Under 10K tweets
6
Scott Pelley
Under 10K tweets
7
60 Minutes
Under 10K tweets
8
#82and0
Under 10K tweets
9
Rubio
Under 10K tweets
10
Zach
Under 10K tweets

Most Popular Users

elonmusk's profile image
1
Elon Musk Verified account
@elonmusk
240.1M followers
barackobama's profile image
2
Barack Obama Verified account
@barackobama
119.3M followers
realdonaldtrump's profile image
3
Donald J. Trump Verified account
@realdonaldtrump
111.6M followers
cristiano's profile image
4
Cristiano Ronaldo Verified account
@cristiano
108.8M followers
narendramodi's profile image
5
Narendra Modi Verified account
@narendramodi
106.9M followers
rihanna's profile image
6
Rihanna Verified account
@rihanna
97.2M followers
nasa's profile image
7
NASA Verified account
@nasa
92.1M followers
justinbieber's profile image
8
Justin Bieber Verified account
@justinbieber
90.5M followers
katyperry's profile image
9
KATY PERRY Verified account
@katyperry
86.7M followers
taylorswift13's profile image
10
Taylor Swift Verified account
@taylorswift13
80.5M followers
ladygaga's profile image
11
Lady Gaga Verified account
@ladygaga
72.1M followers
kimkardashian's profile image
12
Kim Kardashian Verified account
@kimkardashian
69.3M followers
youtube's profile image
13
YouTube Verified account
@youtube
68.6M followers
imvkohli's profile image
14
Virat Kohli Verified account
@imvkohli
68.4M followers
billgates's profile image
15
Bill Gates Verified account
@billgates
63.4M followers
theellenshow's profile image
16
The Ellen Show
@theellenshow
62.5M followers
cnn's profile image
17
CNN Verified account
@cnn
61.9M followers
neymarjr's profile image
18
Neymar Jr Verified account
@neymarjr
60.9M followers
x's profile image
19
X Verified account
@x
60.9M followers
cnnbrk's profile image
20
CNN Breaking News Verified account
@cnnbrk
59.9M followers