Biiiilly

Imperial College London Mathematics Student

Pinned Repositories

cw1
Language:Lean10
cw2
Language:Lean00
filter
Welcome to The Filter Game! This is also our M2R project supervised by Prof. Kevin Buzzard at Imperial College London
Language:Lean7 1 01
filter_game
Language:Lean10
filter_game_exp
Language:Lean00
final
Language:Lean00
Gram-Schmidt-Orthogonalisation-and-Orthonormalization
Language:Lean20
MATH50003NumericalAnalysis
Notes and course material for MATH50003 Numerical Analysis (2022–2023)
Language:Jupyter Notebook00
mathlib
Lean mathematical components library
Language:Lean00
pin_and_spin
Language:Lean10

Biiiilly's Repositories

Biiiilly/filter
Welcome to The Filter Game! This is also our M2R project supervised by Prof. Kevin Buzzard at Imperial College London
Language:Lean7 1 01
Biiiilly/Gram-Schmidt-Orthogonalisation-and-Orthonormalization
Language:Lean20
Biiiilly/cw1
Language:Lean10
Biiiilly/filter_game
Language:Lean10
Biiiilly/pin_and_spin
Language:Lean10
Biiiilly/cw2
Language:Lean00
Biiiilly/filter_game_exp
Language:Lean00
Biiiilly/final
Language:Lean00
Biiiilly/MATH50003NumericalAnalysis
Notes and course material for MATH50003 Numerical Analysis (2022–2023)
Language:Jupyter Notebook00
Biiiilly/mathlib
Lean mathematical components library
Language:Lean00
Biiiilly/Ostrowski_slides
00
Biiiilly/proj
Language:Lean00
Biiiilly/ostrowski
Language:Lean
Biiiilly/ostrowski_project
Language:Lean1 0