lean-ja / lean-by-example

Related projects: ⓘ

• uemurax / hott-ja
  HoTT in Japanese
  ☆33Updated 11 months ago
• yuma-mizuno / lean-math-workshop
  数学系のためのLean勉強会
  ☆66Updated 2 months ago
• FormalizedFormalLogic / Foundation
  Lean4 Logic Formalization
  ☆68Updated this week
• lean-ja / lean99
  These are Lean translations of Ninety-Nine Haskell Problems (WIP)
  ☆14Updated this week
• na4zagin3 / satyrographos
  Package manager for SATySFi
  ☆44Updated 11 months ago
• nyuichi / LeanHOL
  super tiny implementation of higher-order logic proof assistant in lean
  ☆20Updated 4 years ago
• ksrky / Plato
  A purely functional programming language based on higher-order polymorphic lambda calculus
  ☆19Updated 8 months ago
• pandaman64 / lean-regex
  ☆19Updated last week
• monaqa / satysfi-enumitem
  SATySFi package for flexible ordered/unordered/description lists.
  ☆14Updated 2 years ago
• monaqa / satysfi-azmath
  A SATySFi package containing A-to-Z mathematical commands.
  ☆15Updated last year
• qnighy / logic-solver-rs
  ☆44Updated last year
• itleigns / CoqLibrary
  Coqで様々な数学の定理を証明
  ☆18Updated last year
• AtsushiOhori / compiler-text
  The support repository for the textbook "Compilers: Principles and Structures" (in Japanese)
  ☆19Updated 2 years ago
• namachan10777 / BiByFi
  A bibliography framework for SATySFi.
  ☆23Updated last year
• cannorin / nml
  Nazo ML - my toy programming language
  ☆61Updated 4 years ago
• FR-vdash-bot / Algorithm
  Verified efficient algorithms in Lean4.
  ☆18Updated 2 weeks ago
• 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
• nyuichi / satysfi-base
  complementary collection of useful functions and modules for SATySFi
  ☆31Updated 5 months ago
• monaqa / satysfi-language-server
  The SATySFi Language Server
  ☆66Updated last year
• suharahiromichi / coq
  Coq Code
  ☆17Updated 2 weeks ago
• kory33 / scala-proofs
  An attempt to build axiomatic, formal set theory on top of Scala.
  ☆37Updated 9 months ago
• alexjbest / leaff
  Leaff is a diff tool for Lean environments
  ☆14Updated 3 weeks ago
• Seasawher / mdgen
  Tool to generate markdown files from lean files. This is heavily inspired by lean2md.
  ☆13Updated 2 weeks ago
• yukikurage / purescript-jelly
  ☆62Updated last year
• nagaet / Garrigue-lecture-2018_AW
  ガリグ先生 2018年度後期・数理解析・計算機数学 II (同 概論II)
  ☆13Updated 5 years ago
• qnighy / ipc_solver
  O(N log N)-space IPC solver in OCaml
  ☆52Updated last year
• leanprover / reservoir
  Package registry for Lean/Lake.
  ☆16Updated this week
• leanprover / lean4-cli
  A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
  ☆64Updated 2 months ago
• leanprover / lake
  **(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.
  ☆97Updated 10 months ago