Lean
Users following leanprover
Vaibhav Sunder
vaibhavswire
tree walking is ingenious to my coding space, I like Windows OS even though scanning Linux Foundation regularly, support web3, fan of BSD, most Fr.De.techthings
Lucknow, Uttar Pradesh, IND
Mahsa Choopannezhad Najafabadi
MahsaChoop
The world needs better products. It's up to us to make that happen.
Liechtenstein University Liechtenstein
Alan Mathisen Turing
Alanmathisenturing
Blockchain
Osint
Cryptography
Data
NftCreator
ZeroKnowledge
Cryptocurrency
Malware
PromptEngineering
Web3
Desci
LLM
Earth
1
marwahossein61-ops
Copyright ©️ License Free Software Foundation Platforms Meta Inc and affiliates and fb.com,forbes,TTY, LLM,LLVM,Pixel,PHP,Python,Kotlin,Bitcoin,bit.ly,@mention
Saba.Co Yemen,Sanaa
Sayantani Bhattacharya
sayantanimath
Mathematics PhD student at Auburn University, AL, USA.
Auburn University AL, USA
PreviousNext