https://mintlify.wiki/leanprover/lean4/contributing/building-from-source 2026-08-10T02:47:00.391Z https://mintlify.wiki/leanprover/lean4/contributing/contribution-guidelines 2026-08-10T02:47:00.389Z https://mintlify.wiki/leanprover/lean4/contributing/development-workflow 2026-08-10T02:47:00.357Z https://mintlify.wiki/leanprover/lean4/functional/do-notation 2026-08-10T02:47:00.358Z https://mintlify.wiki/leanprover/lean4/functional/monads-and-effects 2026-08-10T02:47:00.358Z https://mintlify.wiki/leanprover/lean4/functional/pattern-matching 2026-08-10T02:47:00.349Z https://mintlify.wiki/leanprover/lean4/installation 2026-08-10T02:47:00.322Z https://mintlify.wiki/leanprover/lean4/introduction 2026-08-10T02:47:00.359Z https://mintlify.wiki/leanprover/lean4/lake/building-and-running 2026-08-10T02:47:00.362Z https://mintlify.wiki/leanprover/lean4/lake/cli-reference 2026-08-10T02:47:00.351Z https://mintlify.wiki/leanprover/lean4/lake/creating-a-package 2026-08-10T02:47:00.366Z https://mintlify.wiki/leanprover/lean4/lake/dependencies 2026-08-10T02:47:00.350Z https://mintlify.wiki/leanprover/lean4/lake/libraries-and-executables 2026-08-10T02:47:00.355Z https://mintlify.wiki/leanprover/lean4/lake/overview 2026-08-10T02:47:00.349Z https://mintlify.wiki/leanprover/lean4/lake/package-configuration 2026-08-10T02:47:00.353Z https://mintlify.wiki/leanprover/lean4/lake/scripts 2026-08-10T02:47:00.352Z https://mintlify.wiki/leanprover/lean4/language/functions-and-definitions 2026-08-10T02:47:00.352Z https://mintlify.wiki/leanprover/lean4/language/inductive-types 2026-08-10T02:47:00.354Z https://mintlify.wiki/leanprover/lean4/language/syntax-overview 2026-08-10T02:47:00.316Z https://mintlify.wiki/leanprover/lean4/language/type-classes 2026-08-10T02:47:00.317Z https://mintlify.wiki/leanprover/lean4/language/types-and-expressions 2026-08-10T02:47:00.348Z https://mintlify.wiki/leanprover/lean4/metaprogramming/attributes-and-linters 2026-08-10T02:47:00.365Z https://mintlify.wiki/leanprover/lean4/metaprogramming/elaboration 2026-08-10T02:47:00.321Z https://mintlify.wiki/leanprover/lean4/metaprogramming/ffi 2026-08-10T02:47:00.319Z https://mintlify.wiki/leanprover/lean4/metaprogramming/macros 2026-08-10T02:47:00.320Z https://mintlify.wiki/leanprover/lean4/metaprogramming/overview 2026-08-10T02:47:00.354Z https://mintlify.wiki/leanprover/lean4/metaprogramming/syntax-extensions 2026-08-10T02:47:00.356Z https://mintlify.wiki/leanprover/lean4/metaprogramming/tactic-writing 2026-08-10T02:47:00.320Z https://mintlify.wiki/leanprover/lean4/metaprogramming/widgets-and-lsp 2026-08-10T02:47:00.347Z https://mintlify.wiki/leanprover/lean4/quickstart 2026-08-10T02:47:00.361Z https://mintlify.wiki/leanprover/lean4/theorem-proving/propositions-and-proofs 2026-08-10T02:47:00.318Z https://mintlify.wiki/leanprover/lean4/theorem-proving/tactics 2026-08-10T02:47:00.344Z https://mintlify.wiki/leanprover/lean4/theorem-proving/term-mode-proofs 2026-08-10T02:47:00.360Z