lean-ja / lean-by-example

Related projects ⓘ

Alternatives and complementary repositories for lean-by-example

• FormalizedFormalLogic / Foundation
  Lean4 Logic Formalization
  ☆80Updated this week
• uemurax / hott-ja
  HoTT in Japanese
  ☆33Updated last year
• lean-ja / lean99
  These are Lean translations of Ninety-Nine Haskell Problems (WIP)
  ☆14Updated last week
• yuma-mizuno / lean-math-workshop
  数学系のためのLean勉強会
  ☆69Updated 4 months ago
• pandaman64 / lean-regex
  ☆18Updated this week
• leanprover / lean-action
  GitHub action for standard CI in Lean projects
  ☆15Updated this week
• 34j / best-of-lean4
  A list of awesome lean4 projects. Feel free to add your project.
  ☆61Updated this week
• nomeata / loogle
  Mathlib search tool
  ☆63Updated this week
• ksrky / Plato
  A purely functional programming language based on higher-order polymorphic lambda calculus
  ☆19Updated 10 months ago
• na4zagin3 / satyrographos
  Package manager for SATySFi
  ☆45Updated last year
• alexjbest / leaff
  Leaff is a diff tool for Lean environments
  ☆15Updated 2 months ago
• leanprover / lean4-cli
  A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
  ☆69Updated 2 weeks ago
• leanprover / doc-gen4
  Document Generator for Lean 4
  ☆66Updated this week
• 0art0 / lean-slides
  A tool to auto-generate and render slides from Markdown comments in the Lean editor.
  ☆16Updated 2 weeks ago
• FR-vdash-bot / Algorithm
  Verified efficient algorithms in Lean4.
  ☆20Updated 2 weeks ago
• Seasawher / mdgen
  Tool to generate markdown files from lean files. This is heavily inspired by lean2md.
  ☆13Updated 2 weeks ago
• monaqa / satysfi-azmath
  A SATySFi package containing A-to-Z mathematical commands.
  ☆15Updated 2 years ago
• suharahiromichi / coq
  Coq Code
  ☆17Updated last week
• nyuichi / LeanHOL
  super tiny implementation of higher-order logic proof assistant in lean
  ☆21Updated 5 years ago
• leanprover / lake
  **(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.
  ☆97Updated last year
• leanprover / reservoir
  Package registry for Lean/Lake.
  ☆16Updated last month
• leanprover / LeanInk
  LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.
  ☆60Updated 4 months ago
• leanprover-community / duper
  ☆54Updated last week
• qnighy / logic-solver-rs
  ☆45Updated last year
• KislyjKisel / Raylib.lean
  Raylib bindings for Lean4
  ☆18Updated last week
• cpdt-japanese / cpdt-japanese
  Certified Programming with Dependent Types (Japanese Translation)
  ☆15Updated 3 years ago
• monaqa / satysfi-parser
  SATySFi parser writtern in Rust.
  ☆14Updated 2 years ago
• monaqa / satysfi-enumitem
  SATySFi package for flexible ordered/unordered/description lists.
  ☆15Updated 2 years ago
• leanprover-community / lean4-samples
  Code samples for Lean 4
  ☆71Updated last year
• dupuisf / BibtexQuery
  A simple command-line bibtex query utility written in Lean 4
  ☆11Updated this week