1
0
Fork
You've already forked leanoid
0
♠️ | Learning functional programming with Lean.
  • Nix 84.1%
  • Lean 15.9%
Find a file
2026年01月15日 06:13:57 +05:00
.github/assets chore: moving to nixfmt + readme 2026年01月15日 06:13:57 +05:00
.envrc chore: compiling lean4 toolchain 2025年12月30日 10:01:21 +05:00
.gitignore chore: compiling lean4 toolchain 2025年12月30日 10:01:21 +05:00
flake.lock chore: base nix configuration, not tested yet 2025年12月29日 18:37:57 +05:00
flake.nix chore: moving to nixfmt + readme 2026年01月15日 06:13:57 +05:00
lake-manifest.json chore: add nix lsp 2025年12月29日 18:40:37 +05:00
lakefile.toml fix: target names 2025年12月29日 18:38:33 +05:00
lean-toolchain chore: base nix configuration, not tested yet 2025年12月29日 18:37:57 +05:00
LICENSE Initial commit 2025年12月29日 17:55:06 +05:00
Main.lean chore: foldable and unfoldable 2025年12月30日 11:32:25 +05:00
README.md chore: moving to nixfmt + readme 2026年01月15日 06:13:57 +05:00

Orzklv's {Lean}

A Lean introduction repository.

Top Used Language Build CI

About

Interest in Functional Programming sparked motivation on learning FP languages and I decided to start with Lean4.

Readme serves as a purpose to keep track of where I stopped/paused.

Material

Currently, I'm studying with Lean4's officla guidebook at: Functional Programming in Lean. I've done the following chapters:

  • 1.1
    • 1.1.1
    • 1.1.2
  • 1.2
  • 1.3
    • 1.3.1
    • 1.3.2

License

This project is licensed under the MIT License - see the LICENSE file for details.

Orzklv's {Lean}