formalising-mathematics-2024

(★ 255)

Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.

오너의 다른 레포

FLT ★ 975

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

Lean
covid19model ★ 940

Code for modelling estimated deaths and cases for COVID19.

Stan
formalising-mathematics ★ 315

Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/ImperialCollegeLondon/formalising-mathematics-2024

Lean
natural_number_game ★ 304

Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.

Lean
sap-voicebox ★ 254

Speech Processing Toolbox for MATLAB

MATLAB
sharpy ★ 189

Simulation of High Aspect Ratio aeroplanes and wind turbines in Python: a nonlinear aeroelastic code

Python

파일 탐색기

ZIP 다운로드
  • .gitignore
  • .gitpod.yml
  • FormalisingMathematics2024.lean
  • lake-manifest.json
  • lakefile.lean
  • lean-toolchain
  • LICENSE
  • README.md
  • settings.json

# CDN으로 사용하기

jsDelivr

jsDelivr는 공개 GitHub 리포지토리를 별도 설정 없이 CDN으로 즉시 서빙합니다. 버전과 파일을 고르면 웹페이지에 바로 붙일 수 있는 링크와 예시 코드가 만들어집니다.

링크
예시

명령어 용어집

이 문서에서 사용된 명령어를 모아봤습니다. 낯선 명령어가 있다면 펼쳐서 확인해보세요.

🔍

git clone

설명 보기 ▼

Clone an existing repository.

git clone {{remote_repository_location}} {{path/to/directory}}

Clone an existing repository into a new directory (the default directory is the repository name):

git clone --recursive {{remote_repository_location}}

Clone an existing repository and its submodules:

git clone {{[-n|--no-checkout]}} {{remote_repository_location}}

Clone only the `.git` directory of an existing repository:

// repository documentation