Julian-Kuelshammer

Julian-Kuelshammer's Stars

• ulthiel/Bocses

  A Magma package for computing with bocses

  Language:Mathematica11

• lamastex/maths_coursepathways_withIT_at_UppsalaUniversity

  course pathways of some past Bachelors-Masters students at Uppsala University in Mathematics, Applied Mathematics and Statistics with IT, Computer Science and Programming

  Language:TeX22

• ImperialCollegeLondon/formalising-mathematics-2022

  Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/ImperialCollegeLondon/formalising-mathematics-2024

  Language:Lean11925

• HugoBlox/theme-research-group

  👥 轻松创建研究组或组织网站 Easily create a stunning Research Group, Team, or Business Website with no-code

  Language:TeX317360

• leanprover/elan

  The Lean version manager

  Language:Rust32136

• ImperialCollegeLondon/formalising-mathematics

  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

  Language:Lean30222

• leanprover-community/mathlib3

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

  Language:Lean1.7k298