-
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection & NixOS
Nix MIT License UpdatedNov 30, 2025 -
lean4 Public
Forked from leanprover/lean4Lean4 work in progress repo
Lean Apache License 2.0 UpdatedNov 17, 2025 -
MutualInduction Public
Forked from ionathanch/MutualInductionAn experimental mutual induction tactic for Lean 4.
Lean zlib License UpdatedOct 29, 2025 -
formal-conjectures Public
Forked from google-deepmind/formal-conjecturesA collection of formalized statements of conjectures in Lean.
Lean Apache License 2.0 UpdatedSep 29, 2025 -
quote4 Public
Forked from leanprover-community/quote4Intuitive, type-safe expression quotations for Lean 4.
Lean UpdatedSep 23, 2025 -
mathlib4 Public
Forked from leanprover-community/mathlib4Work in progress mathlib port for lean 4
Lean Apache License 2.0 UpdatedSep 5, 2025 -
Poly Public
Forked from sinhp/PolyA Lean4 Formalization of Polynomial Functors
Lean UpdatedAug 5, 2025 -
-
-
std4 Public
Forked from leanprover-community/batteriesStandard Library for Lean 4
Lean Apache License 2.0 UpdatedMar 21, 2024 -
blog-gen Public
Static site generator used for my website at https://voidma.in/
Haskell MIT License UpdatedJan 31, 2024 -
vscode-lean4 Public
Forked from leanprover/vscode-lean4TypeScript Apache License 2.0 UpdatedDec 21, 2023 -
ProofWidgets4 Public
Forked from leanprover-community/ProofWidgets4Helper toolkit for creating your own Lean 4 UserWidgets
Lean Apache License 2.0 UpdatedNov 28, 2023 -
lean-smt Public
Forked from ufmg-smite/lean-smtTactics for discharging Lean goals into SMT solvers.
Lean UpdatedSep 7, 2023 -
-
-
LeanColls Public
Forked from JamesGallicchio/LeanCollsWIP collections library for Lean 4
Lean UpdatedSep 30, 2022 -
mathematics_in_lean_source Public
Forked from avigad/mathematics_in_lean_sourceSource code for the Mathematics in Lean tutorial.
Lean UpdatedSep 4, 2022 -
lean-crypto Public
Forked from joehendrix/lean-cryptoCryptographic routines for the Lean 4 language
Roff UpdatedAug 13, 2022 -
-
logseq Public
Forked from logseq/logseqA privacy-first, open-source platform for knowledge management and collaboration. Desktop app download link: https://github.com/logseq/logseq/releases, roadmap: https://trello.com/b/8txSM12G/roadmap
Clojure GNU Affero General Public License v3.0 UpdatedJul 12, 2022 -
cryptol Public
Forked from GaloisInc/cryptolCryptol: The Language of Cryptography
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJul 6, 2022 -
lean4-cli Public
Forked from leanprover/lean4-cliA Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
Lean MIT License UpdatedJun 20, 2022 -
vscode-languageserver-node Public
Forked from microsoft/vscode-languageserver-nodeLanguage server protocol implementation for VSCode. This allows implementing language services in JS/TS running on node.js
TypeScript MIT License UpdatedMay 18, 2022 -
-
cardano-node Public
Forked from IntersectMBO/cardano-nodeThe core component that is used to participate in a Cardano decentralised blockchain.
Haskell Apache License 2.0 UpdatedFeb 18, 2022 -
-
-
-
tutorials Public
Forked from heleaf/tutorialsStarter code repository for Penrose tutorials.
TeX MIT License UpdatedJun 21, 2021
{{ message }}