Skip to content
View mirefek's full-sized avatar
19 followers · 0 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: QuickdrawAchievement: StarstruckAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: QuickdrawAchievement: StarstruckAchievement: Arctic Code Vault Contributor

Block or report mirefek

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@lean-tom
lean-tom
@german-boop
premier848 german-boop
# 👋 Hi, I'm Premier 848 Aspiring Python Developer🐍
@Komyyy
Miyahara Kō Komyyy
My family name is "Miyahara".

Tokyo University of Science Tokyo, Japan

@Seasawher
Kitamado Seasawher
I like mathematics and Lean language.

@proxima-technology Japan

@jaklt
Tomáš Jakl jaklt

Europe

@whuhxb
Xiaobing Han whuhxb
On The Road!!
@Zhang-Liao
Zhang-Liao Zhang-Liao
@mohammedbelgoumri
Mohammed Belgoumri mohammedbelgoumri
Beware of the bugs in the code below; I have only proved it correct, not tried it.

Deakin university Victoria

@jonas-kgomo
jonas-kgomo
git init
@AnshumaNKalrA
Anshuman Kalra AnshumaNKalrA
@chabulhwi
Bulhwi Cha chabulhwi
I aim to create video games and other media for learning STEM disciplines.

Semmalgil Seoul, Republic of Korea (South Korea)

@intoverflow
Tim Carstens intoverflow

Seattle, WA

@jakub-oprsal
Jakub Opršal jakub-oprsal

University of Birmingham

@fhlasek
Filip Hlasek fhlasek

Mountain View, CA

@filipbartek
Filip Bártek filipbartek

@blindspot-ai Prague, Czech Republic

@umarzaheer
umarzaheer
@MrcPl
MrcPl
@alreadydone
Junyan Xu alreadydone
Postdoc in math, working on Lean's mathlib4 and formalization of FLT. Interested in autoformalization and AI for mathematics.

Universität Heidelberg Heidelberg / Shenzhen

@m-k-l-s
m-k-l-s