-
mathlib4 Public
Forked from leanprover-community/mathlib4The math library of Lean 4
Lean Apache License 2.0 UpdatedJan 14, 2026 -
-
bors-ng Public
Forked from leanprover-community/bors-ng👁 A merge bot for GitHub Pull Requests
Elixir Apache License 2.0 UpdatedNov 9, 2025 -
pygraphviz Public
Forked from pygraphviz/pygraphvizPython interface to Graphviz graph drawing package
C Other UpdatedOct 25, 2025 -
-
-
gh-get-current-pr Public
Forked from 8BitJonny/gh-get-current-prGithub Action for getting all the details about the current Pull Request if the commit is part of one
TypeScript GNU General Public License v3.0 UpdatedSep 6, 2025 -
get-user-teams-membership Public
Forked from tspascoal/get-user-teams-membershipGitHub Action to get a user teams membership in a given organization
JavaScript MIT License UpdatedJun 18, 2025 -
reference-manual Public
Forked from leanprover/reference-manualJavaScript Apache License 2.0 UpdatedJan 27, 2025 -
-
-
-
-
-
Analytic Public
Forked from PeterScholze/Analyticlecture notes for Analytic Geometry course
TeX UpdatedAug 6, 2021 -
mathlib Public
Forked from leanprover-community/mathlib3Lean mathematical components library
Lean Apache License 2.0 UpdatedJul 2, 2021 -
vscode-lean Public
Forked from leanprover/vscode-leanAn extension for VS Code which provides support for the Lean language.
TypeScript Apache License 2.0 UpdatedApr 19, 2021 -
unofficial-observablehq-compiler Public
Forked from asg017/unofficial-observablehq-compilerAn unofficial compiler for Observable notebook syntax
JavaScript UpdatedFeb 16, 2021 -
mathlib_docs Public
Forked from leanprover-community/mathlib_docsHosts the HTML documentation for mathlib.
UpdatedFeb 14, 2021 -
doc-gen Public
Forked from leanprover-community/doc-genGenerate HTML documentation for mathlib and Lean
Python Apache License 2.0 UpdatedFeb 14, 2021 -
leanprover.github.io Public
Forked from leanprover/leanprover.github.iowww
Lean MIT License UpdatedFeb 12, 2021 -
-
lean-matroids Public
matroids in lean
-
rust-analyzer Public
Forked from rust-lang/rust-analyzerAn experimental Rust compiler front-end for IDEs
Rust Apache License 2.0 UpdatedDec 15, 2020 -
sync-task-issues Public
Forked from jonabc/sync-task-issuesSync task issue closure to hierarchical parent tracking issues
JavaScript MIT License UpdatedOct 3, 2020 -
-
mathematics_in_lean_source Public
Forked from avigad/mathematics_in_lean_sourceSource code for the Mathematics in Lean tutorial.
Python UpdatedMay 12, 2020 -
lean Public
Forked from leanprover-community/leanLean Theorem Prover
C++ Apache License 2.0 UpdatedApr 14, 2020 -
natural_number_game Public
Forked from ImperialCollegeLondon/natural_number_gameBuilding the natural numbers in Lean.
Lean UpdatedApr 9, 2020 -
pygments Public
Forked from pygments/pygmentsPygments is a generic syntax highlighter written in Python
Python BSD 2-Clause "Simplified" License UpdatedMar 25, 2020
{{ message }}