igudesman / linkbrary

Related projects ⓘ

Alternatives and complementary repositories for linkbrary

• PictureInspector / picture-inspector-bot
  ☆14Updated 3 years ago
• mumtozee / CustomSTL
  custom C++ STL
  ☆10Updated 3 years ago
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆74Updated last year
• kendfrey / rubiks-cube-group
  A formalization of the Rubik's cube group
  ☆26Updated 4 years ago
• Algocode-CMS / algocode
  Content management system for programming courses with ejudge, codeforces and informatics support
  ☆22Updated last month
• ImperialCollegeLondon / M1P1-lean
  Material from M1P1, formalised in Lean
  ☆14Updated 5 years ago
• PatrickMassot / GlimpseOfLean
  An introduction to theorem proving in Lean for the impatient.
  ☆110Updated last week
• leanprover / doc-gen4
  Document Generator for Lean 4
  ☆66Updated this week
• jesse-michael-han / lean-step-public
  Proof artifact co-training for Lean
  ☆42Updated last year
• ImperialCollegeLondon / formalising-mathematics-2023
  repository for material for Jan-Mar 2023 course on formalising mathematics
  ☆48Updated 9 months ago
• ImperialCollegeLondon / natural_number_game
  Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
  ☆292Updated 8 months ago
• glebosotov / SFWalls-Script
  An Apple Shortcut for generating wallpapers using SF Symbols
  ☆22Updated 3 years ago
• Amog-OS / AmogOS
  ඞ Among-us themed OS. As seen on Reddit and Youtube.
  ☆1,643Updated 2 months ago
• fpvandoorn / carleson
  A formalized proof of Carleson's theorem in Lean
  ☆28Updated this week
• siddhartha-gadgil / LeanAide
  Tools based on AI for helping with Lean 4
  ☆65Updated this week
• leanprover-community / lean4-samples
  Code samples for Lean 4
  ☆71Updated last year
• leanprover-community / format_lean
  A Lean file formatter
  ☆63Updated last year
• duckki / lean-quantum
  Formalized quantum computing in Lean theorem prover
  ☆21Updated 3 years ago
• jasonrute / lean_proof_recording
  Proof recording for Lean 3
  ☆25Updated 3 years ago
• Vilin97 / linear-algebra-done-right
  ☆9Updated 2 years ago
• Julian / lftim
  Mathematical learnings with Lean, for those of us who wish we knew more of both!
  ☆10Updated 2 years ago
• leanprover-community / NNG4
  Natural Number Game
  ☆114Updated 2 weeks ago
• leanprover-community / flt-regular
  Fermat's Last Theorem for regular primes
  ☆52Updated this week
• remimorvan / knowledge-clustering
  Clustering notions for the knowledge LaTeX package
  ☆13Updated 3 weeks ago
• b-mehta / unit-fractions
  ☆14Updated 11 months ago
• s0er3n / GeoBingo.io
  a multiplayer street view bingo game
  ☆109Updated 7 months ago
• candybox2 / candybox
  Candy Box (first version)
  ☆203Updated 3 years ago
• 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/Imp…
  ☆119Updated 8 months ago
• kckennylau / local-langlands-abelian
  Formalization of Statement of Local Langlands Correspondence for Tori
  ☆11Updated 5 years ago
• kploskonka / A-Star-Pathfinding-Visualization
  A* pathfinding algorithm visualization in Python/Pygame
  ☆11Updated last year
• ImperialCollegeLondon / complex-number-game
  The Complex Number Game. Make the complex numbers in Lean.
  ☆35Updated 2 years ago