Kha
Follow
-
lean4 Public
Forked from leanprover/lean4Lean4 work in progress repo
Lean Apache License 2.0 UpdatedMar 10, 2025 -
aesop Public
Forked from leanprover-community/aesopWhite-box automation for Lean 4
Lean Apache License 2.0 UpdatedMar 6, 2025 -
lean4web Public
Forked from leanprover-community/lean4webCSS Apache License 2.0 UpdatedMar 4, 2025 -
verbose-lean4 Public
Forked from PatrickMassot/verbose-lean4Natural language tactics to teach mathematics using Lean 4
Lean Apache License 2.0 UpdatedFeb 26, 2025 -
-
do-supplement Public
Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"
-
elan Public
Forked from leanprover/elanA Lean version manager
-
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection
Nix MIT License UpdatedJan 6, 2025 -
-
-
-
test-summary Public
Forked from test-summary/actionShow a helpful summary of test results in GitHub Actions CI/CD workflow runs
TypeScript MIT License UpdatedMar 25, 2024 -
leanprover.github.io Public
Forked from leanprover/leanprover.github.iowww
Lean MIT License UpdatedJan 11, 2024 -
python-zulip-api Public
Forked from zulip/python-zulip-apiPython Apache License 2.0 UpdatedJan 11, 2024 -
-
mathlib4 Public
Forked from leanprover-community/mathlib4Work in progress mathlib port for lean 4
Lean Apache License 2.0 UpdatedNov 24, 2023 -
mathport Public
Forked from leanprover-community/mathportWIP tool for translating `.lean` files from lean3 to lean4
Lean Apache License 2.0 UpdatedOct 21, 2023 -
lean Public
Forked from leanprover/lean3Lean Theorem Prover
C++ Apache License 2.0 UpdatedAug 23, 2023 -
-
-
C-parsing-for-Lean4 Public
Forked from opencompl/C-parsing-for-Lean4A parser for ANSI C, in Lean4.
Lean UpdatedJun 29, 2023 -
presentations Public
Forked from leanprover/presentationslean-related presentations
TeX Apache License 2.0 UpdatedJun 15, 2023 -
lake Public
Forked from leanprover/lakeLean 4 build system and package manager with configuration files written in Lean.
Lean Apache License 2.0 UpdatedMay 22, 2023 -
-
nixprof Public
A Nix build graph profiler
-
temci Public
Forked from parttimenerd/temciAn advanced benchmarking tool
Python GNU General Public License v3.0 UpdatedMar 24, 2023 -
Nix, the purely functional package manager
-
macro-supplement Public
Supplemental material for the "Beyond Notations" paper
-
mathlib-port-status Public
Forked from leanprover-community/mathlib-port-statusTools for managing the status of the port
Jinja Apache License 2.0 UpdatedJan 19, 2023 -
nix-portable Public
Forked from DavHau/nix-portableNix - Static, Permissionless, Installation-free, Pre-configured
Nix MIT License UpdatedJan 8, 2023