Kei Lambda

Description
Thoughts, experience, and critique — all about seeking knowledge and wisdom.

https://github.com/keilambda

@keilambda × @keistash
Advertising
We recommend to visit

Community chat: https://t.me/hamster_kombat_chat_2

Twitter: x.com/hamster_kombat

YouTube: https://www.youtube.com/@HamsterKombat_Official

Bot: https://t.me/hamster_kombat_bot
Game: https://t.me/hamster_kombat_bot/

Last updated 3 months, 2 weeks ago

Your easy, fun crypto trading app for buying and trading any crypto on the market.

📱 App: @Blum
🆘 Help: @BlumSupport
ℹ️ Chat: @BlumCrypto_Chat

Last updated 3 months, 1 week ago

Turn your endless taps into a financial tool.
Join @tapswap_bot


Collaboration - @taping_Guru

Last updated 6 days, 5 hours ago

2 months, 1 week ago

🥁🩸😓 time

2 months, 1 week ago
2 months, 1 week ago

Now it is just a small matter of updating the docs, other minor occurrences of cmp and making the PR.

2 months, 1 week ago

Done rewriting RBSet, RBMap, their theorems and operations to use Ord. 5 files changed, 319 insertions(+), 298 deletions(-) It is now usable as it is. I now have to get rid of cmp in WF (Well-formedness) too.

2 months, 1 week ago
Done rewriting RBSet, RBMap, their theorems …

Done rewriting RBSet, RBMap, their theorems and operations to use Ord. 5 files changed, 319 insertions(+), 298 deletions(-) It is now usable as it is. I now have to get rid of cmp in WF (Well-formedness) too.

2 months, 1 week ago

Done rewriting RBSet, RBMap, their theorems and operations to use Ord.

5 files changed, 319 insertions(+), 298 deletions(\-)

It is now usable as it is. I now have to get rid of cmp in WF (Well-formedness) too.

2 months, 2 weeks ago

Defeated the termination checker of Lean 4 for the first time in my life.

2 months, 2 weeks ago

I love summer

2 months, 3 weeks ago

Goodness gracious. Wouldn't you look at that. It seems like Batteries.RBSet is missing a Decidable membership instance. An opportunity for me to contribute and apply my newly gained knowledge.

2 months, 3 weeks ago

By the way, I don't regret the time spent doing this at all. I think this was an INVALUABLE EXPERIENCE and a good challenge overall. Really the thing I miss in my daily job.

We recommend to visit

Community chat: https://t.me/hamster_kombat_chat_2

Twitter: x.com/hamster_kombat

YouTube: https://www.youtube.com/@HamsterKombat_Official

Bot: https://t.me/hamster_kombat_bot
Game: https://t.me/hamster_kombat_bot/

Last updated 3 months, 2 weeks ago

Your easy, fun crypto trading app for buying and trading any crypto on the market.

📱 App: @Blum
🆘 Help: @BlumSupport
ℹ️ Chat: @BlumCrypto_Chat

Last updated 3 months, 1 week ago

Turn your endless taps into a financial tool.
Join @tapswap_bot


Collaboration - @taping_Guru

Last updated 6 days, 5 hours ago