Skip to content
View iehality's full-sized avatar
18 followers · 12 following

Achievements

Achievement: Starstruckx2Achievement: Pull Sharkx2Achievement: Pair Extraordinaire

Achievements

Achievement: Starstruckx2Achievement: Pull Sharkx2Achievement: Pair Extraordinaire

Organizations

@FormalizedFormalLogic

Block or report iehality

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
@Komyyy
Miyahara Kō Komyyy

Tokyo University of Science Tokyo, Japan

@wasabi315
Satoshi Takimoto wasabi315
Institute of Science Tokyo

Japan

@Lean-zh
Lean 中文文档翻译 Lean-zh
@avigad
Jeremy Avigad avigad

Carnegie Mellon University Pittsburgh

@metamath
Metamath metamath
@OpenLogicProject
Open Logic Project OpenLogicProject
@axiomed
Axiomed axiomed
Lean4 for software engineers.
@jaalonso
Jose A. Alonso jaalonso
Matemático interesado en el estudio y enseñanza de la lógica computacional, la programación funcional y el razonamiento automático.

Universidad de Sevilla Sevilla (España)

@Seasawher
Kitamado Seasawher
I like mathematics and Lean language.

@proxima-technology Japan

@lean-ja
lean-ja lean-ja
lean-ja は、Leanに関する情報の交換と集積を目的とした日本語コミュニティです。

Japan

@leanprover-community
leanprover-community
Community-built infrastructure for the Lean (https://leanprover.github.io/) theorem prover
@SnO2WMaN
SnO₂WMaN SnO2WMaN
お前の好きなものが分かってよかった

チルノのパーフェクトさんすう教室