Kei Lambda

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

https://github.com/keilambda

@keilambda × @keistash
We recommend to visit

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

Website: https://hamster.network

Twitter: x.com/hamster_kombat

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

Bot: https://t.me/hamster_kombat_bot

Last updated 3 months ago

Your easy, fun crypto trading app for buying and trading any crypto on the market.
📱 App: @Blum
🤖 Trading Bot: @BlumCryptoTradingBot
🆘 Help: @BlumSupport
💬 Chat: @BlumCrypto_Chat

Last updated 8 months, 3 weeks ago

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


Collaboration - @taping_Guru

Last updated 3 months, 2 weeks ago

5 months ago

Faunwell. It was magnificent while it lasted... https://www.youtube.com/watch?v=OFIVy79pgWc

5 months, 1 week ago

Playing MiSide at midnight wasn't a good idea.

5 months, 1 week ago
7 months, 3 weeks ago

??? time

7 months, 3 weeks ago
7 months, 3 weeks ago

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

7 months, 3 weeks 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.

7 months, 3 weeks 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.

7 months, 3 weeks 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.

8 months ago

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

We recommend to visit

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

Website: https://hamster.network

Twitter: x.com/hamster_kombat

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

Bot: https://t.me/hamster_kombat_bot

Last updated 3 months ago

Your easy, fun crypto trading app for buying and trading any crypto on the market.
📱 App: @Blum
🤖 Trading Bot: @BlumCryptoTradingBot
🆘 Help: @BlumSupport
💬 Chat: @BlumCrypto_Chat

Last updated 8 months, 3 weeks ago

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


Collaboration - @taping_Guru

Last updated 3 months, 2 weeks ago