Lean 中文文档翻译
Users following Lean-zh
Curly-Howard-Chungus Correspondence | Lamport-Cabot-Codd-Backus-Naur Form
ichxorya
WannabeResearcher-ExPartTimeMusicProducer. Currently interested in PLDI, MDSE, and symbolic computation. BOINC cruncher (UET-VNU-2022). Welcome to Rokkenjima.
@vnu-frsl @vnu-sme @SEhumantics @ISE-Lab-AI4LIFE Ichvers, Esteh, Enurbahnhof, Azeroy
opdai
opd-ai
OPD-AI specializes in open-source tools for creative workers, with a focus on tabletop RPG content generation and Bitcoin-based paywall solutions.
Zhehao 0xFF
KCN-judu
The price of reliability is the pursuit
of the utmost simplicity.
@Luna-Flow @moonbit-community Tokyo, Japan
Minhui You
bookworm1988
math education
Bajiaolou Junior High School, Zengdu District, Suizhou City, Hubei Province, China No. 9 Jishiliang Street, Dongcheng Subdistrict, Suizhou City, Hubei Province, China
Lumiere
atlarator
🏳️⚧️ VZstless on Github.
Galactic Organization of Trade & Tariffs Planet: Aineias
Zhang Xinrui
gujiguji456
I am Zhang Xinrui, a student in South China Normal University. I want to study in Github and try to make some contributions to the community.
South China Normal University Guangdong,Guangzhou,South China Normal University
PreviousNext