erdOne

erdOne's Stars

• ImperialCollegeLondon/FLT

  Ongoing Lean formalisation of the proof of Fermat's Last Theorem

  Language:Lean32553

• leanprover-community/lean-liquid

  💧 Liquid Tensor Experiment

  Language:Lean18615

• leanprover-community/mathlib3

  Lean 3's obsolete mathematical components library: please use mathlib4

  Language:Lean1.7k298

• dl8sd11/UTAhahaha

  Language:C++11

• joshua5201/tioj

  TIOJ Infor Online Judge

  Language:Ruby419

• ifsmirnov/jngen

  Library for generating tests for olympiad problems

  Language:C++25132

• ryanhanwu/How-To-Ask-Questions-The-Smart-Way

  本文原文由知名 Hacker Eric S. Raymond 所撰寫，教你如何正確的提出技術問題並獲得你滿意的答案。

  Language:JavaScript31.6k5.7k