-
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 -
-
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 -
lean4-mode Public
Forked from leanprover-community/lean4-modeEmacs major mode for Lean 4
Emacs Lisp Apache License 2.0 UpdatedJan 4, 2023 -
-
-
lsp-ivy Public
Forked from emacs-lsp/lsp-ivyEmacs Lisp GNU General Public License v3.0 UpdatedAug 31, 2022 -
-
LeanInk Public
Forked from leanprover/LeanInkLeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.
Lean Apache License 2.0 UpdatedJun 16, 2022 -
alectryon Public
Forked from cpitclaudel/alectryonA collection of tools for writing technical documents that mix Coq code and prose.
-
doc-gen4 Public
Forked from leanprover/doc-gen4Document Generator for Lean 4
Lean Apache License 2.0 UpdatedMay 19, 2022 -
-
tba-2022 Public
Forked from IPDSnelting/tba-2022Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition
Lean UpdatedApr 14, 2022 -
lean-llvm Public
Forked from leanprover/lean-llvmCustom-built LLVM toolchain for use in Lean 4
UpdatedMar 23, 2022 -
-
smalltt Public
Forked from AndrasKovacs/smallttDemo for high-performance type theory elaboration
Lean MIT License UpdatedDec 28, 2021 -
-
MINGW-packages Public
Forked from msys2/MINGW-packagesPackage scripts for MinGW-w64 targets to build under MSYS2.
Shell BSD 3-Clause "New" or "Revised" License UpdatedNov 4, 2021 -
lsp-mode Public
Forked from emacs-lsp/lsp-modeEmacs client/library for the Language Server Protocol
Emacs Lisp GNU General Public License v3.0 UpdatedOct 18, 2021 -
zig Public
Forked from ziglang/zigGeneral-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
Zig MIT License UpdatedSep 15, 2021 -
{{ message }}