-
FLT Public
Forked from ImperialCollegeLondon/FLTOngoing Lean formalisation of the proof of Fermat's Last Theorem
Lean Apache License 2.0 UpdatedJul 7, 2025 -
mathlib4 Public
Forked from leanprover-community/mathlib4The math library of Lean 4
Lean Apache License 2.0 UpdatedJul 3, 2025 -
-
metaprogramming Public
Forked from hrmacbeth/metaprogrammingTutorials for metaprogramming in Lean
Lean UpdatedMay 19, 2025 -
hexo-theme-next Public
Forked from theme-next/hexo-theme-nextElegant and powerful theme for Hexo.
Stylus Other UpdatedFeb 25, 2025 -
-
carleson Public
Forked from fpvandoorn/carlesonA formalized proof of Carleson's theorem in Lean
Lean Apache License 2.0 UpdatedOct 26, 2024 -
vscode-lean4 Public
Forked from leanprover/vscode-lean4Visual Studio Code extension for the Lean 4 proof assistant
TypeScript Apache License 2.0 UpdatedJun 22, 2024 -
-
-
-
leandiscord-weekly Public
Forked from crabbo-rave/leandiscord-weeklyWeekly challenges for the Lean Discord Server.
MIT License UpdatedJan 24, 2022 -
-
vscode-lean Public
Forked from leanprover/vscode-leanAn extension for VS Code which provides support for the Lean language.
TypeScript Apache License 2.0 UpdatedDec 20, 2021 -
lean-mode Public
Forked from leanprover/lean3-modeEmacs mode for Lean
Emacs Lisp Apache License 2.0 UpdatedDec 20, 2021 -
-
flang Public
Forked from flang-compiler/flangFlang is a Fortran language front-end designed for integration with LLVM.
C Other UpdatedDec 11, 2020 -
ega Public
Forked from ryankeleti/egaamateur translation project of Grothendieck's EGA.
TeX UpdatedOct 24, 2020 -
-
python-astar Public
Forked from jrialland/python-astarSimple implementation of the a-star algorithm in Python 🌟
Python BSD 3-Clause "New" or "Revised" License UpdatedAug 13, 2020 -
-
sympy Public
Forked from sympy/sympyA computer algebra system written in pure Python
Python Other UpdatedDec 26, 2019 -
kuroshiro Public
Forked from hexenq/kuroshiroJapanese language library for converting Japanese sentence to Hiragana, Katakana or Romaji with furigana and okurigana modes supported.
JavaScript MIT License UpdatedFeb 10, 2019 -
-
{{ message }}