joneugster

joneugster's Stars

• leanprover-community/leanprover-community.github.io

  Hosts the website for mathlib and other Lean community infrastructure.

  Language:CSS50113

• hhu-adam/lean4web-tools

  Helper tool for projects run in lean4web

  Language:Lean3

• hhu-adam/lean-i18n

  i18n library for Lean.

  Language:Lean6

• leanprover-community/import-graph

  Tool to analyse the import structure of lean projects.

  Language:Lean62

• T-Brick/DateTime

  DateTime package for Lean 4

  Language:Lean10

• leanprover-community/lean4web

  The Lean 4 web editor

  Language:CSS5214

• JLimperg/elan-cleanup

  A tool for cleaning up unused Lean toolchains

  Language:Lean41

• leanprover-community/batteries

  The "batteries included" extended library for the Lean programming language and theorem prover

  Language:Lean22188

• leanprover/lean4

  Lean 4 programming language and theorem prover

  Language:Lean4k346

• leanprover-community/lean4game

  Server to host lean games.

  Language:TypeScript13625

• 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

• leanprover-community/tutorials

  Some Lean tutorials

  Language:Lean18161

• leanprover-community/mathlib4

  The math library of Lean 4

  Language:Lean1.2k252

• leanprover-community/mathlib

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

  Language:Lean1.7k297