HLim55

HLim55's Stars

• nomeata/loogle

  Mathlib search tool

  Language:Lean526

• leanprover-community/mathlib3

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

  Language:Lean1.7k297

• leanprover-community/lftcm2020

  Lean for the Curious Mathematician 2020

  Language:Lean6378

• HanCoding/board_exam_project

  유튜브 영상을 위한 리포지토리

  Language:Java227

• rickiepark/handson-ml

  도서 "핸즈온 머신러닝"의 예제와 연습문제를 담은 주피터 노트북입니다.

  Language:Jupyter Notebook287270