Thanks to visit codestin.com
Credit goes to github.com

Skip to content
View tydeu's full-sized avatar
  • Lean FRO
  • United States
  • 05:37 (UTC -05:00)

Organizations

@leanprover @hatpress

Block or report tydeu

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
@kkpan11
Gianni Hong kkpan11
Coder. Book lover. Enthusiastic cyclist. T1D.

Taipei, Taiwan

@Gravifer
Tci Gravifer Fang Gravifer
Bikeshed critic

Tsinghua University Beijing

@oliversoeser
Oliver Soeser oliversoeser
Computer Science and Maths student, University of Edinburgh class of 2027.

Edinburgh, Scotland

@TheFanatr
Yan TheFanatr
I have a very good description you can find here: https://goo.gl/sTBRL6 . It pretty much sums everything up.

\Device\HardDisk1

@philzook58
Philip Zucker philzook58
A pretty cool dude who does things.

Draper Boston

@fraware
Matéo H. Petel fraware
Curiosity. ________________________________________________________________________________________ Stanford | NASA JPL | Oxford | ENS

Stanford

@LinuxJS
Meow LinuxJS
I code.

@SAMSUNG Multiverse

@SeshatCZ
SeshatCZ

Czech republic

@standardgalactic
Cogito Ergo Sum standardgalactic
   Standard Galactic Alphabet

Xanadu Canada

@salomartin
Martin Salo salomartin
Tech founder with a 15-year track record in AI, merging deep industry knowledge with fresh innovations in my upcoming venture.

London

@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)

@ngrislain
Nicolas Grislain ngrislain
Co-founder and CSO of @sarus-tech

Sarus Technologies Paris

@24kTanmay
Tanmay Roy 24kTanmay
IITK'27

Indian Institute of Technology, Kanpur Kanpur, India

@Formal-Mathematics-Lab
Formal-Mathematics-Lab

@FormalMathematicsLab

@Laeeth
Laeeth Isharc Laeeth
Hacker and student of markets, geopolitics and health.

Kaleidic Associates Advisory Limited London

@atodekangae
atodekangae
Software Engineer

Japan

@SnO2WMaN
SnO₂WMaN SnO2WMaN
お前の好きなものが分かってよかった

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

@JacobFV
Jacob Valdez JacobFV
ai

@agi-inc SF

@bharatr21
Bharat Raghunathan bharatr21
Masters' student @ Georgia Tech | BITS Pilani, Hyderabad Campus | Interested in breaking down stuff, building up stuff, and investigating data

Austin, TX

@AleXoundOS
AleXoundOS
Haskell | NixOS

Tbilisi, Georgia

@adolfont
Adolfo Neto adolfont
Associate Professor at UTFPR Curitiba

DAINF - UTFPR Curitiba, PR, Brazil

@machaddr
André Machado machaddr
In God we Trust, In C we Code, C does not Rust

/dev/earth0

@Seasawher
Kitamado Seasawher
I like mathematics and Lean language.

@proxima-technology Japan

@tomhoule
Tom Houlé tomhoule
They're Good Abstractions Brent

@grafbase Berlin, DE

@bollu
Siddharth bollu
mathematics ⋂ computation

University of Cambridge Cambridge

@hargoniX
Henrik Böving hargoniX

Lean FRO Munich, Germany

@SchrodingerZhu
Schrodinger ZHU Yifan SchrodingerZhu
Working!

University of Rochester Rochester, NY

@skaslev
Slavomir Kaslev skaslev

@redis Sofia, Bulgaria

@AkechiShiro
Samy Lahfa AkechiShiro
Computer are full of assumption, acquiring knowledge of those is hard but necessary in security @NixOS @winapps-org @Athena-OS @Red-Flake

France

@huynhtrankhanh
Huỳnh Trần Khanh huynhtrankhanh
formal verification enthusiast bucketpotato orz orz - not an expert in anything and never will be

@rocq-community Vietnam