diff options
author | Yuri Victorovich <yuri@FreeBSD.org> | 2024-01-14 03:49:56 +0000 |
---|---|---|
committer | Yuri Victorovich <yuri@FreeBSD.org> | 2024-01-14 03:50:20 +0000 |
commit | 27b9012337ee58a0ecc220dfd079cc2189dc99e2 (patch) | |
tree | f641cbd6917d0a4cd7d0c3aa7c09bdba9a31b3e4 | |
parent | 2bf3db579d8804b0db00ea5f18eba28c1365bfc3 (diff) | |
download | ports-27b9012337ee58a0ecc220dfd079cc2189dc99e2.tar.gz ports-27b9012337ee58a0ecc220dfd079cc2189dc99e2.zip |
math/lean4: New port: Theorem prover and functional language for math (new gen)
-rw-r--r-- | math/Makefile | 1 | ||||
-rw-r--r-- | math/lean4/Makefile | 40 | ||||
-rw-r--r-- | math/lean4/distinfo | 3 | ||||
-rw-r--r-- | math/lean4/files/patch-src_CMakeLists.txt | 23 | ||||
-rw-r--r-- | math/lean4/files/patch-src_runtime_io.cpp | 17 | ||||
-rw-r--r-- | math/lean4/files/patch-src_runtime_stack__overflow.cpp | 12 | ||||
-rw-r--r-- | math/lean4/files/patch-stage0_src_CMakeLists.txt | 23 | ||||
-rw-r--r-- | math/lean4/files/patch-stage0_src_runtime_io.cpp | 16 | ||||
-rw-r--r-- | math/lean4/files/patch-stage0_src_runtime_stack__overflow.cpp | 21 | ||||
-rw-r--r-- | math/lean4/pkg-descr | 6 | ||||
-rw-r--r-- | math/lean4/pkg-message | 22 | ||||
-rw-r--r-- | math/lean4/pkg-plist | 2259 |
12 files changed, 2443 insertions, 0 deletions
diff --git a/math/Makefile b/math/Makefile index 345406ce012f..a933bb237101 100644 --- a/math/Makefile +++ b/math/Makefile @@ -436,6 +436,7 @@ SUBDIR += lcalc SUBDIR += ldouble SUBDIR += lean + SUBDIR += lean4 SUBDIR += lemon SUBDIR += levmar SUBDIR += lib2geom diff --git a/math/lean4/Makefile b/math/lean4/Makefile new file mode 100644 index 000000000000..a43194860970 --- /dev/null +++ b/math/lean4/Makefile @@ -0,0 +1,40 @@ +PORTNAME= lean4 +DISTVERSIONPREFIX= v +DISTVERSION= 4.5.0-rc1 +CATEGORIES= math lang devel # lean4 is primarily a math theorem prover, but it is also a language and a development environment + +MAINTAINER= yuri@FreeBSD.org +COMMENT= Theorem prover and functional language for math (new gen) +WWW= https://lean-lang.org/ + +LICENSE= APACHE20 +LICENSE_FILE= ${WRKSRC}/LICENSE + +BUILD_DEPENDS= bash:shells/bash +LIB_DEPENDS= libgmp.so:math/gmp + +USES= cmake:noninja,testing compiler:c++14-lang gmake python:build # ninja fails + gmake scripts are included in the project + +USE_GITHUB= yes +GH_ACCOUNT= leanprover + +CFLAGS+= -fPIC +CXXFLAGS+= -fPIC + +BINARY_ALIAS= make=${GMAKE} python=${PYTHON_CMD} + +post-install: + # remove empty dirs + @${FIND} ${STAGEDIR}${DATADIR} -type d -empty -delete + # remove stray files + @${RM} ${STAGEDIR}${PREFIX}/LICENSE* + # strip binaries + @cd ${STAGEDIR}${PREFIX} && ${STRIP_CMD} \ + bin/lake \ + bin/lean \ + bin/leanc \ + lib/lean/libleanshared.so + +# 6 tests are known to fail due to bugs in the testcase code, see https://github.com/leanprover/lean4/issues/3179 + +.include <bsd.port.mk> diff --git a/math/lean4/distinfo b/math/lean4/distinfo new file mode 100644 index 000000000000..d307f90be676 --- /dev/null +++ b/math/lean4/distinfo @@ -0,0 +1,3 @@ +TIMESTAMP = 1705134061 +SHA256 (leanprover-lean4-v4.5.0-rc1_GH0.tar.gz) = 8b5ae344816670adb2a68859b2f4c309592feb32674d477e46e061275f9e8129 +SIZE (leanprover-lean4-v4.5.0-rc1_GH0.tar.gz) = 17060956 diff --git a/math/lean4/files/patch-src_CMakeLists.txt b/math/lean4/files/patch-src_CMakeLists.txt new file mode 100644 index 000000000000..6109d2793eac --- /dev/null +++ b/math/lean4/files/patch-src_CMakeLists.txt @@ -0,0 +1,23 @@ +--- src/CMakeLists.txt.orig 2023-12-21 22:11:33 UTC ++++ src/CMakeLists.txt +@@ -352,6 +352,11 @@ if(${CMAKE_SYSTEM_NAME} MATCHES "Linux") + string(APPEND LEANC_EXTRA_FLAGS " -fPIC") + string(APPEND LEANSHARED_LINKER_FLAGS " -Wl,-rpath=\\$$ORIGIN/..:\\$$ORIGIN") + string(APPEND CMAKE_EXE_LINKER_FLAGS " -lleanshared -Wl,-rpath=\\\$ORIGIN/../lib:\\\$ORIGIN/../lib/lean") ++elseif(${CMAKE_SYSTEM_NAME} MATCHES "FreeBSD") ++ string(APPEND CMAKE_CXX_FLAGS " -fPIC -ftls-model=initial-exec") ++ string(APPEND LEANC_EXTRA_FLAGS " -fPIC") ++ string(APPEND LEANSHARED_LINKER_FLAGS " -Wl,-rpath=\\$$ORIGIN/..:\\$$ORIGIN") ++ string(APPEND CMAKE_EXE_LINKER_FLAGS " -lleanshared -Wl,-rpath=\\\$ORIGIN/../lib:\\\$ORIGIN/../lib/lean") + elseif(${CMAKE_SYSTEM_NAME} MATCHES "Darwin") + string(APPEND CMAKE_CXX_FLAGS " -ftls-model=initial-exec") + string(APPEND LEANSHARED_LINKER_FLAGS " -install_name @rpath/libleanshared.dylib") +@@ -592,7 +597,7 @@ endif() + file(CREATE_LINK ${CMAKE_SOURCE_DIR} ${CMAKE_BINARY_DIR}/src/lean RESULT _IGNORE_RES SYMBOLIC) + endif() + +-install(DIRECTORY "${CMAKE_SOURCE_DIR}/" DESTINATION src/lean ++install(DIRECTORY "${CMAKE_SOURCE_DIR}/" DESTINATION share/lean4/src/lean + FILES_MATCHING + PATTERN "*.lean" + PATTERN "*.md" diff --git a/math/lean4/files/patch-src_runtime_io.cpp b/math/lean4/files/patch-src_runtime_io.cpp new file mode 100644 index 000000000000..767ad0a1625f --- /dev/null +++ b/math/lean4/files/patch-src_runtime_io.cpp @@ -0,0 +1,17 @@ +--- src/runtime/io.cpp.orig 2024-01-13 17:13:25 UTC ++++ src/runtime/io.cpp +@@ -855,7 +855,13 @@ extern "C" LEAN_EXPORT obj_res lean_io_app_path(obj_ar + char dest[PATH_MAX]; + memset(dest, 0, PATH_MAX); + pid_t pid = getpid(); +- snprintf(path, PATH_MAX, "/proc/%d/exe", pid); ++#if defined(__linux__) ++ snprintf(path, PATH_MAX, "/proc/%d/exe", pid); ++#elif defined(__FreeBSD__) ++ snprintf(path, PATH_MAX, "/proc/%d/file", pid); ++#else ++# error "Unknown platform" ++#endif + if (readlink(path, dest, PATH_MAX) == -1) { + return io_result_mk_error("failed to locate application"); + } else { diff --git a/math/lean4/files/patch-src_runtime_stack__overflow.cpp b/math/lean4/files/patch-src_runtime_stack__overflow.cpp new file mode 100644 index 000000000000..06914304dbaa --- /dev/null +++ b/math/lean4/files/patch-src_runtime_stack__overflow.cpp @@ -0,0 +1,12 @@ +--- src/runtime/stack_overflow.cpp.orig 2023-12-21 22:11:33 UTC ++++ src/runtime/stack_overflow.cpp +@@ -20,6 +20,9 @@ Port of the corresponding Rust code (see links below). + #include <lean/lean.h> + #include "runtime/stack_overflow.h" + ++#include <pthread_np.h> ++#define pthread_getattr_np pthread_attr_get_np ++ + namespace lean { + // stack guard of the main thread + static stack_guard * g_stack_guard; diff --git a/math/lean4/files/patch-stage0_src_CMakeLists.txt b/math/lean4/files/patch-stage0_src_CMakeLists.txt new file mode 100644 index 000000000000..e8af91b549aa --- /dev/null +++ b/math/lean4/files/patch-stage0_src_CMakeLists.txt @@ -0,0 +1,23 @@ +--- stage0/src/CMakeLists.txt.orig 2023-12-21 22:11:33 UTC ++++ stage0/src/CMakeLists.txt +@@ -352,6 +352,11 @@ if(${CMAKE_SYSTEM_NAME} MATCHES "Linux") + string(APPEND LEANC_EXTRA_FLAGS " -fPIC") + string(APPEND LEANSHARED_LINKER_FLAGS " -Wl,-rpath=\\$$ORIGIN/..:\\$$ORIGIN") + string(APPEND CMAKE_EXE_LINKER_FLAGS " -lleanshared -Wl,-rpath=\\\$ORIGIN/../lib:\\\$ORIGIN/../lib/lean") ++elseif(${CMAKE_SYSTEM_NAME} MATCHES "FreeBSD") ++ string(APPEND CMAKE_CXX_FLAGS " -fPIC -ftls-model=initial-exec") ++ string(APPEND LEANC_EXTRA_FLAGS " -fPIC") ++ string(APPEND LEANSHARED_LINKER_FLAGS " -Wl,-rpath=\\$$ORIGIN/..:\\$$ORIGIN") ++ string(APPEND CMAKE_EXE_LINKER_FLAGS " -lleanshared -Wl,-rpath=\\\$ORIGIN/../lib:\\\$ORIGIN/../lib/lean") + elseif(${CMAKE_SYSTEM_NAME} MATCHES "Darwin") + string(APPEND CMAKE_CXX_FLAGS " -ftls-model=initial-exec") + string(APPEND LEANSHARED_LINKER_FLAGS " -install_name @rpath/libleanshared.dylib") +@@ -592,7 +597,7 @@ endif() + file(CREATE_LINK ${CMAKE_SOURCE_DIR} ${CMAKE_BINARY_DIR}/src/lean RESULT _IGNORE_RES SYMBOLIC) + endif() + +-install(DIRECTORY "${CMAKE_SOURCE_DIR}/" DESTINATION src/lean ++install(DIRECTORY "${CMAKE_SOURCE_DIR}/" DESTINATION share/lean4/src/lean + FILES_MATCHING + PATTERN "*.lean" + PATTERN "*.md" diff --git a/math/lean4/files/patch-stage0_src_runtime_io.cpp b/math/lean4/files/patch-stage0_src_runtime_io.cpp new file mode 100644 index 000000000000..67d799f2a916 --- /dev/null +++ b/math/lean4/files/patch-stage0_src_runtime_io.cpp @@ -0,0 +1,16 @@ +--- stage0/src/runtime/io.cpp.orig 2024-01-13 09:36:50 UTC ++++ stage0/src/runtime/io.cpp +@@ -855,7 +855,13 @@ extern "C" LEAN_EXPORT obj_res lean_io_app_path(obj_ar + char dest[PATH_MAX]; + memset(dest, 0, PATH_MAX); + pid_t pid = getpid(); ++#if defined(__linux__) + snprintf(path, PATH_MAX, "/proc/%d/exe", pid); ++#elif defined(__FreeBSD__) ++ snprintf(path, PATH_MAX, "/proc/%d/file", pid); ++#else ++# error "Unknown platform" ++#endif + if (readlink(path, dest, PATH_MAX) == -1) { + return io_result_mk_error("failed to locate application"); + } else { diff --git a/math/lean4/files/patch-stage0_src_runtime_stack__overflow.cpp b/math/lean4/files/patch-stage0_src_runtime_stack__overflow.cpp new file mode 100644 index 000000000000..5296c0cf49c2 --- /dev/null +++ b/math/lean4/files/patch-stage0_src_runtime_stack__overflow.cpp @@ -0,0 +1,21 @@ +--- stage0/src/runtime/stack_overflow.cpp.orig 2023-12-21 22:11:33 UTC ++++ stage0/src/runtime/stack_overflow.cpp +@@ -7,6 +7,10 @@ Port of the corresponding Rust code (see links below). + Print a nicer error message on stack overflow. + Port of the corresponding Rust code (see links below). + */ ++ ++#include <pthread_np.h> ++#define pthread_getattr_np pthread_attr_get_np ++ + #ifdef LEAN_WINDOWS + #include <windows.h> + #else +@@ -19,6 +23,7 @@ Port of the corresponding Rust code (see links below). + #include <cstring> + #include <lean/lean.h> + #include "runtime/stack_overflow.h" ++ + + namespace lean { + // stack guard of the main thread diff --git a/math/lean4/pkg-descr b/math/lean4/pkg-descr new file mode 100644 index 000000000000..d549a156950f --- /dev/null +++ b/math/lean4/pkg-descr @@ -0,0 +1,6 @@ +Lean is an open source theorem prover and programming language being developed +at Microsoft Research. Lean aims to bridge the gap between interactive and +automated theorem proving, by situating automated tools and methods in a +framework that supports user interaction and the construction of fully specified +axiomatic proofs. The mathematical components library mathlib for Lean is being +developed at Carnegie Mellon University. diff --git a/math/lean4/pkg-message b/math/lean4/pkg-message new file mode 100644 index 000000000000..e0c1a26dc720 --- /dev/null +++ b/math/lean4/pkg-message @@ -0,0 +1,22 @@ +[ +{ type: install + message: <<EOM +================================================================================ +You installed Lean: The Theorem Prover. + +(1) Please note that Lean requires /proc to be mounted. + + The usual way to do this is to add this line to /etc/fstab: + proc /proc procfs rw 0 0 + + and then run this command as root: + # mount /proc + +(2) You might also want to install mathlibtools (math/mathlibtools) in case + you need to use the mathematical library of Lean. + mathlibtools download this library to user's home directory for further + use by Lean. +================================================================================ +EOM +} +] diff --git a/math/lean4/pkg-plist b/math/lean4/pkg-plist new file mode 100644 index 000000000000..516a35d47fdb --- /dev/null +++ b/math/lean4/pkg-plist @@ -0,0 +1,2259 @@ +bin/lake +bin/lean +bin/leanc +bin/leanmake +include/lean/config.h +include/lean/lean.h +include/lean/lean_gmp.h +include/lean/version.h +lib/lean/Init.ilean +lib/lean/Init.olean +lib/lean/Init/Classical.ilean +lib/lean/Init/Classical.olean +lib/lean/Init/Coe.ilean +lib/lean/Init/Coe.olean +lib/lean/Init/Control.ilean +lib/lean/Init/Control.olean +lib/lean/Init/Control/Basic.ilean +lib/lean/Init/Control/Basic.olean +lib/lean/Init/Control/EState.ilean +lib/lean/Init/Control/EState.olean +lib/lean/Init/Control/Except.ilean +lib/lean/Init/Control/Except.olean +lib/lean/Init/Control/ExceptCps.ilean +lib/lean/Init/Control/ExceptCps.olean +lib/lean/Init/Control/Id.ilean +lib/lean/Init/Control/Id.olean +lib/lean/Init/Control/Lawful.ilean +lib/lean/Init/Control/Lawful.olean +lib/lean/Init/Control/Option.ilean +lib/lean/Init/Control/Option.olean +lib/lean/Init/Control/Reader.ilean +lib/lean/Init/Control/Reader.olean +lib/lean/Init/Control/State.ilean +lib/lean/Init/Control/State.olean +lib/lean/Init/Control/StateCps.ilean +lib/lean/Init/Control/StateCps.olean +lib/lean/Init/Control/StateRef.ilean +lib/lean/Init/Control/StateRef.olean +lib/lean/Init/Conv.ilean +lib/lean/Init/Conv.olean +lib/lean/Init/Core.ilean +lib/lean/Init/Core.olean +lib/lean/Init/Data.ilean +lib/lean/Init/Data.olean +lib/lean/Init/Data/AC.ilean +lib/lean/Init/Data/AC.olean +lib/lean/Init/Data/Array.ilean +lib/lean/Init/Data/Array.olean +lib/lean/Init/Data/Array/Basic.ilean +lib/lean/Init/Data/Array/Basic.olean +lib/lean/Init/Data/Array/BasicAux.ilean +lib/lean/Init/Data/Array/BasicAux.olean +lib/lean/Init/Data/Array/BinSearch.ilean +lib/lean/Init/Data/Array/BinSearch.olean +lib/lean/Init/Data/Array/DecidableEq.ilean +lib/lean/Init/Data/Array/DecidableEq.olean +lib/lean/Init/Data/Array/InsertionSort.ilean +lib/lean/Init/Data/Array/InsertionSort.olean +lib/lean/Init/Data/Array/Mem.ilean +lib/lean/Init/Data/Array/Mem.olean +lib/lean/Init/Data/Array/QSort.ilean +lib/lean/Init/Data/Array/QSort.olean +lib/lean/Init/Data/Array/Subarray.ilean +lib/lean/Init/Data/Array/Subarray.olean +lib/lean/Init/Data/Basic.ilean +lib/lean/Init/Data/Basic.olean +lib/lean/Init/Data/ByteArray.ilean +lib/lean/Init/Data/ByteArray.olean +lib/lean/Init/Data/ByteArray/Basic.ilean +lib/lean/Init/Data/ByteArray/Basic.olean +lib/lean/Init/Data/Channel.ilean +lib/lean/Init/Data/Channel.olean +lib/lean/Init/Data/Char.ilean +lib/lean/Init/Data/Char.olean +lib/lean/Init/Data/Char/Basic.ilean +lib/lean/Init/Data/Char/Basic.olean +lib/lean/Init/Data/Fin.ilean +lib/lean/Init/Data/Fin.olean +lib/lean/Init/Data/Fin/Basic.ilean +lib/lean/Init/Data/Fin/Basic.olean +lib/lean/Init/Data/Fin/Log2.ilean +lib/lean/Init/Data/Fin/Log2.olean +lib/lean/Init/Data/Float.ilean +lib/lean/Init/Data/Float.olean +lib/lean/Init/Data/FloatArray.ilean +lib/lean/Init/Data/FloatArray.olean +lib/lean/Init/Data/FloatArray/Basic.ilean +lib/lean/Init/Data/FloatArray/Basic.olean +lib/lean/Init/Data/Format.ilean +lib/lean/Init/Data/Format.olean +lib/lean/Init/Data/Format/Basic.ilean +lib/lean/Init/Data/Format/Basic.olean +lib/lean/Init/Data/Format/Instances.ilean +lib/lean/Init/Data/Format/Instances.olean +lib/lean/Init/Data/Format/Macro.ilean +lib/lean/Init/Data/Format/Macro.olean +lib/lean/Init/Data/Format/Syntax.ilean +lib/lean/Init/Data/Format/Syntax.olean +lib/lean/Init/Data/Hashable.ilean +lib/lean/Init/Data/Hashable.olean +lib/lean/Init/Data/Int.ilean +lib/lean/Init/Data/Int.olean +lib/lean/Init/Data/Int/Basic.ilean +lib/lean/Init/Data/Int/Basic.olean +lib/lean/Init/Data/List.ilean +lib/lean/Init/Data/List.olean +lib/lean/Init/Data/List/Basic.ilean +lib/lean/Init/Data/List/Basic.olean +lib/lean/Init/Data/List/BasicAux.ilean +lib/lean/Init/Data/List/BasicAux.olean +lib/lean/Init/Data/List/Control.ilean +lib/lean/Init/Data/List/Control.olean +lib/lean/Init/Data/Nat.ilean +lib/lean/Init/Data/Nat.olean +lib/lean/Init/Data/Nat/Basic.ilean +lib/lean/Init/Data/Nat/Basic.olean +lib/lean/Init/Data/Nat/Bitwise.ilean +lib/lean/Init/Data/Nat/Bitwise.olean +lib/lean/Init/Data/Nat/Control.ilean +lib/lean/Init/Data/Nat/Control.olean +lib/lean/Init/Data/Nat/Div.ilean +lib/lean/Init/Data/Nat/Div.olean +lib/lean/Init/Data/Nat/Gcd.ilean +lib/lean/Init/Data/Nat/Gcd.olean +lib/lean/Init/Data/Nat/Linear.ilean +lib/lean/Init/Data/Nat/Linear.olean +lib/lean/Init/Data/Nat/Log2.ilean +lib/lean/Init/Data/Nat/Log2.olean +lib/lean/Init/Data/Nat/Power2.ilean +lib/lean/Init/Data/Nat/Power2.olean +lib/lean/Init/Data/Nat/SOM.ilean +lib/lean/Init/Data/Nat/SOM.olean +lib/lean/Init/Data/OfScientific.ilean +lib/lean/Init/Data/OfScientific.olean +lib/lean/Init/Data/Option.ilean +lib/lean/Init/Data/Option.olean +lib/lean/Init/Data/Option/Basic.ilean +lib/lean/Init/Data/Option/Basic.olean +lib/lean/Init/Data/Option/BasicAux.ilean +lib/lean/Init/Data/Option/BasicAux.olean +lib/lean/Init/Data/Option/Instances.ilean +lib/lean/Init/Data/Option/Instances.olean +lib/lean/Init/Data/Ord.ilean +lib/lean/Init/Data/Ord.olean +lib/lean/Init/Data/Prod.ilean +lib/lean/Init/Data/Prod.olean +lib/lean/Init/Data/Queue.ilean +lib/lean/Init/Data/Queue.olean +lib/lean/Init/Data/Random.ilean +lib/lean/Init/Data/Random.olean +lib/lean/Init/Data/Range.ilean +lib/lean/Init/Data/Range.olean +lib/lean/Init/Data/Repr.ilean +lib/lean/Init/Data/Repr.olean +lib/lean/Init/Data/Stream.ilean +lib/lean/Init/Data/Stream.olean +lib/lean/Init/Data/String.ilean +lib/lean/Init/Data/String.olean +lib/lean/Init/Data/String/Basic.ilean +lib/lean/Init/Data/String/Basic.olean +lib/lean/Init/Data/String/Extra.ilean +lib/lean/Init/Data/String/Extra.olean +lib/lean/Init/Data/ToString.ilean +lib/lean/Init/Data/ToString.olean +lib/lean/Init/Data/ToString/Basic.ilean +lib/lean/Init/Data/ToString/Basic.olean +lib/lean/Init/Data/ToString/Macro.ilean +lib/lean/Init/Data/ToString/Macro.olean +lib/lean/Init/Data/UInt.ilean +lib/lean/Init/Data/UInt.olean +lib/lean/Init/Data/UInt/Basic.ilean +lib/lean/Init/Data/UInt/Basic.olean +lib/lean/Init/Data/UInt/Log2.ilean +lib/lean/Init/Data/UInt/Log2.olean +lib/lean/Init/Dynamic.ilean +lib/lean/Init/Dynamic.olean +lib/lean/Init/Hints.ilean +lib/lean/Init/Hints.olean +lib/lean/Init/Meta.ilean +lib/lean/Init/Meta.olean +lib/lean/Init/MetaTypes.ilean +lib/lean/Init/MetaTypes.olean +lib/lean/Init/Notation.ilean +lib/lean/Init/Notation.olean +lib/lean/Init/NotationExtra.ilean +lib/lean/Init/NotationExtra.olean +lib/lean/Init/Prelude.ilean +lib/lean/Init/Prelude.olean +lib/lean/Init/ShareCommon.ilean +lib/lean/Init/ShareCommon.olean +lib/lean/Init/SimpLemmas.ilean +lib/lean/Init/SimpLemmas.olean +lib/lean/Init/SizeOf.ilean +lib/lean/Init/SizeOf.olean +lib/lean/Init/SizeOfLemmas.ilean +lib/lean/Init/SizeOfLemmas.olean +lib/lean/Init/System.ilean +lib/lean/Init/System.olean +lib/lean/Init/System/FilePath.ilean +lib/lean/Init/System/FilePath.olean +lib/lean/Init/System/IO.ilean +lib/lean/Init/System/IO.olean +lib/lean/Init/System/IOError.ilean +lib/lean/Init/System/IOError.olean +lib/lean/Init/System/Mutex.ilean +lib/lean/Init/System/Mutex.olean +lib/lean/Init/System/Platform.ilean +lib/lean/Init/System/Platform.olean +lib/lean/Init/System/Promise.ilean +lib/lean/Init/System/Promise.olean +lib/lean/Init/System/ST.ilean +lib/lean/Init/System/ST.olean +lib/lean/Init/System/Uri.ilean +lib/lean/Init/System/Uri.olean +lib/lean/Init/Tactics.ilean +lib/lean/Init/Tactics.olean +lib/lean/Init/Util.ilean +lib/lean/Init/Util.olean +lib/lean/Init/WF.ilean +lib/lean/Init/WF.olean +lib/lean/Init/WFTactics.ilean +lib/lean/Init/WFTactics.olean +lib/lean/Lake.ilean +lib/lean/Lake.olean +lib/lean/Lake/Build.ilean +lib/lean/Lake/Build.olean +lib/lean/Lake/Build/Actions.ilean +lib/lean/Lake/Build/Actions.olean +lib/lean/Lake/Build/Common.ilean +lib/lean/Lake/Build/Common.olean +lib/lean/Lake/Build/Context.ilean +lib/lean/Lake/Build/Context.olean +lib/lean/Lake/Build/Data.ilean +lib/lean/Lake/Build/Data.olean +lib/lean/Lake/Build/Executable.ilean +lib/lean/Lake/Build/Executable.olean +lib/lean/Lake/Build/Facets.ilean +lib/lean/Lake/Build/Facets.olean +lib/lean/Lake/Build/Imports.ilean +lib/lean/Lake/Build/Imports.olean +lib/lean/Lake/Build/Index.ilean +lib/lean/Lake/Build/Index.olean +lib/lean/Lake/Build/Info.ilean +lib/lean/Lake/Build/Info.olean +lib/lean/Lake/Build/Job.ilean +lib/lean/Lake/Build/Job.olean +lib/lean/Lake/Build/Key.ilean +lib/lean/Lake/Build/Key.olean +lib/lean/Lake/Build/Library.ilean +lib/lean/Lake/Build/Library.olean +lib/lean/Lake/Build/Module.ilean +lib/lean/Lake/Build/Module.olean +lib/lean/Lake/Build/Monad.ilean +lib/lean/Lake/Build/Monad.olean +lib/lean/Lake/Build/Package.ilean +lib/lean/Lake/Build/Package.olean +lib/lean/Lake/Build/Store.ilean +lib/lean/Lake/Build/Store.olean +lib/lean/Lake/Build/Targets.ilean +lib/lean/Lake/Build/Targets.olean +lib/lean/Lake/Build/Topological.ilean +lib/lean/Lake/Build/Topological.olean +lib/lean/Lake/Build/Trace.ilean +lib/lean/Lake/Build/Trace.olean +lib/lean/Lake/CLI.ilean +lib/lean/Lake/CLI.olean +lib/lean/Lake/CLI/Actions.ilean +lib/lean/Lake/CLI/Actions.olean +lib/lean/Lake/CLI/Build.ilean +lib/lean/Lake/CLI/Build.olean +lib/lean/Lake/CLI/Error.ilean +lib/lean/Lake/CLI/Error.olean +lib/lean/Lake/CLI/Help.ilean +lib/lean/Lake/CLI/Help.olean +lib/lean/Lake/CLI/Init.ilean +lib/lean/Lake/CLI/Init.olean +lib/lean/Lake/CLI/Main.ilean +lib/lean/Lake/CLI/Main.olean +lib/lean/Lake/CLI/Serve.ilean +lib/lean/Lake/CLI/Serve.olean +lib/lean/Lake/Config.ilean +lib/lean/Lake/Config.olean +lib/lean/Lake/Config/Context.ilean +lib/lean/Lake/Config/Context.olean +lib/lean/Lake/Config/Dependency.ilean +lib/lean/Lake/Config/Dependency.olean +lib/lean/Lake/Config/Env.ilean +lib/lean/Lake/Config/Env.olean +lib/lean/Lake/Config/ExternLib.ilean +lib/lean/Lake/Config/ExternLib.olean +lib/lean/Lake/Config/ExternLibConfig.ilean +lib/lean/Lake/Config/ExternLibConfig.olean +lib/lean/Lake/Config/FacetConfig.ilean +lib/lean/Lake/Config/FacetConfig.olean +lib/lean/Lake/Config/Glob.ilean +lib/lean/Lake/Config/Glob.olean +lib/lean/Lake/Config/InstallPath.ilean +lib/lean/Lake/Config/InstallPath.olean +lib/lean/Lake/Config/LeanConfig.ilean +lib/lean/Lake/Config/LeanConfig.olean +lib/lean/Lake/Config/LeanExe.ilean +lib/lean/Lake/Config/LeanExe.olean +lib/lean/Lake/Config/LeanExeConfig.ilean +lib/lean/Lake/Config/LeanExeConfig.olean +lib/lean/Lake/Config/LeanLib.ilean +lib/lean/Lake/Config/LeanLib.olean +lib/lean/Lake/Config/LeanLibConfig.ilean +lib/lean/Lake/Config/LeanLibConfig.olean +lib/lean/Lake/Config/Module.ilean +lib/lean/Lake/Config/Module.olean +lib/lean/Lake/Config/Monad.ilean +lib/lean/Lake/Config/Monad.olean +lib/lean/Lake/Config/Opaque.ilean +lib/lean/Lake/Config/Opaque.olean +lib/lean/Lake/Config/Package.ilean +lib/lean/Lake/Config/Package.olean +lib/lean/Lake/Config/Script.ilean +lib/lean/Lake/Config/Script.olean +lib/lean/Lake/Config/TargetConfig.ilean +lib/lean/Lake/Config/TargetConfig.olean +lib/lean/Lake/Config/Workspace.ilean +lib/lean/Lake/Config/Workspace.olean +lib/lean/Lake/Config/WorkspaceConfig.ilean +lib/lean/Lake/Config/WorkspaceConfig.olean +lib/lean/Lake/DSL.ilean +lib/lean/Lake/DSL.olean +lib/lean/Lake/DSL/Attributes.ilean +lib/lean/Lake/DSL/Attributes.olean +lib/lean/Lake/DSL/Config.ilean +lib/lean/Lake/DSL/Config.olean +lib/lean/Lake/DSL/DeclUtil.ilean +lib/lean/Lake/DSL/DeclUtil.olean +lib/lean/Lake/DSL/Extensions.ilean +lib/lean/Lake/DSL/Extensions.olean +lib/lean/Lake/DSL/Meta.ilean +lib/lean/Lake/DSL/Meta.olean +lib/lean/Lake/DSL/Package.ilean +lib/lean/Lake/DSL/Package.olean +lib/lean/Lake/DSL/Require.ilean +lib/lean/Lake/DSL/Require.olean +lib/lean/Lake/DSL/Script.ilean +lib/lean/Lake/DSL/Script.olean +lib/lean/Lake/DSL/Targets.ilean +lib/lean/Lake/DSL/Targets.olean +lib/lean/Lake/Load.ilean +lib/lean/Lake/Load.olean +lib/lean/Lake/Load/Config.ilean +lib/lean/Lake/Load/Config.olean +lib/lean/Lake/Load/Elab.ilean +lib/lean/Lake/Load/Elab.olean +lib/lean/Lake/Load/Main.ilean +lib/lean/Lake/Load/Main.olean +lib/lean/Lake/Load/Manifest.ilean +lib/lean/Lake/Load/Manifest.olean +lib/lean/Lake/Load/Materialize.ilean +lib/lean/Lake/Load/Materialize.olean +lib/lean/Lake/Load/Package.ilean +lib/lean/Lake/Load/Package.olean +lib/lean/Lake/Main.ilean +lib/lean/Lake/Main.olean +lib/lean/Lake/Util/Async.ilean +lib/lean/Lake/Util/Async.olean +lib/lean/Lake/Util/Binder.ilean +lib/lean/Lake/Util/Binder.olean +lib/lean/Lake/Util/Casing.ilean +lib/lean/Lake/Util/Casing.olean +lib/lean/Lake/Util/Cli.ilean +lib/lean/Lake/Util/Cli.olean +lib/lean/Lake/Util/Compare.ilean +lib/lean/Lake/Util/Compare.olean +lib/lean/Lake/Util/Cycle.ilean +lib/lean/Lake/Util/Cycle.olean +lib/lean/Lake/Util/DRBMap.ilean +lib/lean/Lake/Util/DRBMap.olean +lib/lean/Lake/Util/EStateT.ilean +lib/lean/Lake/Util/EStateT.olean +lib/lean/Lake/Util/EquipT.ilean +lib/lean/Lake/Util/EquipT.olean +lib/lean/Lake/Util/Error.ilean +lib/lean/Lake/Util/Error.olean +lib/lean/Lake/Util/Exit.ilean +lib/lean/Lake/Util/Exit.olean +lib/lean/Lake/Util/Family.ilean +lib/lean/Lake/Util/Family.olean +lib/lean/Lake/Util/Git.ilean +lib/lean/Lake/Util/Git.olean +lib/lean/Lake/Util/Lift.ilean +lib/lean/Lake/Util/Lift.olean +lib/lean/Lake/Util/List.ilean +lib/lean/Lake/Util/List.olean +lib/lean/Lake/Util/Log.ilean +lib/lean/Lake/Util/Log.olean +lib/lean/Lake/Util/MainM.ilean +lib/lean/Lake/Util/MainM.olean +lib/lean/Lake/Util/Name.ilean +lib/lean/Lake/Util/Name.olean +lib/lean/Lake/Util/NativeLib.ilean +lib/lean/Lake/Util/NativeLib.olean +lib/lean/Lake/Util/Opaque.ilean +lib/lean/Lake/Util/Opaque.olean +lib/lean/Lake/Util/OptionIO.ilean +lib/lean/Lake/Util/OptionIO.olean +lib/lean/Lake/Util/OrdHashSet.ilean +lib/lean/Lake/Util/OrdHashSet.olean +lib/lean/Lake/Util/OrderedTagAttribute.ilean +lib/lean/Lake/Util/OrderedTagAttribute.olean +lib/lean/Lake/Util/Platform.ilean +lib/lean/Lake/Util/Platform.olean +lib/lean/Lake/Util/Proc.ilean +lib/lean/Lake/Util/Proc.olean +lib/lean/Lake/Util/RBArray.ilean +lib/lean/Lake/Util/RBArray.olean +lib/lean/Lake/Util/Store.ilean +lib/lean/Lake/Util/Store.olean +lib/lean/Lake/Util/StoreInsts.ilean +lib/lean/Lake/Util/StoreInsts.olean +lib/lean/Lake/Util/Sugar.ilean +lib/lean/Lake/Util/Sugar.olean +lib/lean/Lake/Util/Task.ilean +lib/lean/Lake/Util/Task.olean +lib/lean/Lake/Version.ilean +lib/lean/Lake/Version.olean +lib/lean/Lean.ilean +lib/lean/Lean.olean +lib/lean/Lean/Attributes.ilean +lib/lean/Lean/Attributes.olean +lib/lean/Lean/AuxRecursor.ilean +lib/lean/Lean/AuxRecursor.olean +lib/lean/Lean/Class.ilean +lib/lean/Lean/Class.olean +lib/lean/Lean/Compiler.ilean +lib/lean/Lean/Compiler.olean +lib/lean/Lean/Compiler/AtMostOnce.ilean +lib/lean/Lean/Compiler/AtMostOnce.olean +lib/lean/Lean/Compiler/BorrowedAnnotation.ilean +lib/lean/Lean/Compiler/BorrowedAnnotation.olean +lib/lean/Lean/Compiler/CSimpAttr.ilean +lib/lean/Lean/Compiler/CSimpAttr.olean +lib/lean/Lean/Compiler/ClosedTermCache.ilean +lib/lean/Lean/Compiler/ClosedTermCache.olean +lib/lean/Lean/Compiler/ConstFolding.ilean +lib/lean/Lean/Compiler/ConstFolding.olean +lib/lean/Lean/Compiler/ExportAttr.ilean +lib/lean/Lean/Compiler/ExportAttr.olean +lib/lean/Lean/Compiler/ExternAttr.ilean +lib/lean/Lean/Compiler/ExternAttr.olean +lib/lean/Lean/Compiler/FFI.ilean +lib/lean/Lean/Compiler/FFI.olean +lib/lean/Lean/Compiler/IR.ilean +lib/lean/Lean/Compiler/IR.olean +lib/lean/Lean/Compiler/IR/Basic.ilean +lib/lean/Lean/Compiler/IR/Basic.olean +lib/lean/Lean/Compiler/IR/Borrow.ilean +lib/lean/Lean/Compiler/IR/Borrow.olean +lib/lean/Lean/Compiler/IR/Boxing.ilean +lib/lean/Lean/Compiler/IR/Boxing.olean +lib/lean/Lean/Compiler/IR/Checker.ilean +lib/lean/Lean/Compiler/IR/Checker.olean +lib/lean/Lean/Compiler/IR/CompilerM.ilean +lib/lean/Lean/Compiler/IR/CompilerM.olean +lib/lean/Lean/Compiler/IR/CtorLayout.ilean +lib/lean/Lean/Compiler/IR/CtorLayout.olean +lib/lean/Lean/Compiler/IR/ElimDeadBranches.ilean +lib/lean/Lean/Compiler/IR/ElimDeadBranches.olean +lib/lean/Lean/Compiler/IR/ElimDeadVars.ilean +lib/lean/Lean/Compiler/IR/ElimDeadVars.olean +lib/lean/Lean/Compiler/IR/EmitC.ilean +lib/lean/Lean/Compiler/IR/EmitC.olean +lib/lean/Lean/Compiler/IR/EmitLLVM.ilean +lib/lean/Lean/Compiler/IR/EmitLLVM.olean +lib/lean/Lean/Compiler/IR/EmitUtil.ilean +lib/lean/Lean/Compiler/IR/EmitUtil.olean +lib/lean/Lean/Compiler/IR/ExpandResetReuse.ilean +lib/lean/Lean/Compiler/IR/ExpandResetReuse.olean +lib/lean/Lean/Compiler/IR/Format.ilean +lib/lean/Lean/Compiler/IR/Format.olean +lib/lean/Lean/Compiler/IR/FreeVars.ilean +lib/lean/Lean/Compiler/IR/FreeVars.olean +lib/lean/Lean/Compiler/IR/LLVMBindings.ilean +lib/lean/Lean/Compiler/IR/LLVMBindings.olean +lib/lean/Lean/Compiler/IR/LiveVars.ilean +lib/lean/Lean/Compiler/IR/LiveVars.olean +lib/lean/Lean/Compiler/IR/NormIds.ilean +lib/lean/Lean/Compiler/IR/NormIds.olean +lib/lean/Lean/Compiler/IR/PushProj.ilean +lib/lean/Lean/Compiler/IR/PushProj.olean +lib/lean/Lean/Compiler/IR/RC.ilean +lib/lean/Lean/Compiler/IR/RC.olean +lib/lean/Lean/Compiler/IR/ResetReuse.ilean +lib/lean/Lean/Compiler/IR/ResetReuse.olean +lib/lean/Lean/Compiler/IR/SimpCase.ilean +lib/lean/Lean/Compiler/IR/SimpCase.olean +lib/lean/Lean/Compiler/IR/Sorry.ilean +lib/lean/Lean/Compiler/IR/Sorry.olean +lib/lean/Lean/Compiler/IR/UnboxResult.ilean +lib/lean/Lean/Compiler/IR/UnboxResult.olean +lib/lean/Lean/Compiler/ImplementedByAttr.ilean +lib/lean/Lean/Compiler/ImplementedByAttr.olean +lib/lean/Lean/Compiler/InitAttr.ilean +lib/lean/Lean/Compiler/InitAttr.olean +lib/lean/Lean/Compiler/InlineAttrs.ilean +lib/lean/Lean/Compiler/InlineAttrs.olean +lib/lean/Lean/Compiler/LCNF.ilean +lib/lean/Lean/Compiler/LCNF.olean +lib/lean/Lean/Compiler/LCNF/AlphaEqv.ilean +lib/lean/Lean/Compiler/LCNF/AlphaEqv.olean +lib/lean/Lean/Compiler/LCNF/AuxDeclCache.ilean +lib/lean/Lean/Compiler/LCNF/AuxDeclCache.olean +lib/lean/Lean/Compiler/LCNF/BaseTypes.ilean +lib/lean/Lean/Compiler/LCNF/BaseTypes.olean +lib/lean/Lean/Compiler/LCNF/Basic.ilean +lib/lean/Lean/Compiler/LCNF/Basic.olean +lib/lean/Lean/Compiler/LCNF/Bind.ilean +lib/lean/Lean/Compiler/LCNF/Bind.olean +lib/lean/Lean/Compiler/LCNF/CSE.ilean +lib/lean/Lean/Compiler/LCNF/CSE.olean +lib/lean/Lean/Compiler/LCNF/Check.ilean +lib/lean/Lean/Compiler/LCNF/Check.olean +lib/lean/Lean/Compiler/LCNF/Closure.ilean +lib/lean/Lean/Compiler/LCNF/Closure.olean +lib/lean/Lean/Compiler/LCNF/CompatibleTypes.ilean +lib/lean/Lean/Compiler/LCNF/CompatibleTypes.olean +lib/lean/Lean/Compiler/LCNF/CompilerM.ilean +lib/lean/Lean/Compiler/LCNF/CompilerM.olean +lib/lean/Lean/Compiler/LCNF/ConfigOptions.ilean +lib/lean/Lean/Compiler/LCNF/ConfigOptions.olean +lib/lean/Lean/Compiler/LCNF/DeclHash.ilean +lib/lean/Lean/Compiler/LCNF/DeclHash.olean +lib/lean/Lean/Compiler/LCNF/DependsOn.ilean +lib/lean/Lean/Compiler/LCNF/DependsOn.olean +lib/lean/Lean/Compiler/LCNF/ElimDead.ilean +lib/lean/Lean/Compiler/LCNF/ElimDead.olean +lib/lean/Lean/Compiler/LCNF/ElimDeadBranches.ilean +lib/lean/Lean/Compiler/LCNF/ElimDeadBranches.olean +lib/lean/Lean/Compiler/LCNF/FVarUtil.ilean +lib/lean/Lean/Compiler/LCNF/FVarUtil.olean +lib/lean/Lean/Compiler/LCNF/FixedParams.ilean +lib/lean/Lean/Compiler/LCNF/FixedParams.olean +lib/lean/Lean/Compiler/LCNF/FloatLetIn.ilean +lib/lean/Lean/Compiler/LCNF/FloatLetIn.olean +lib/lean/Lean/Compiler/LCNF/ForEachExpr.ilean +lib/lean/Lean/Compiler/LCNF/ForEachExpr.olean +lib/lean/Lean/Compiler/LCNF/InferType.ilean +lib/lean/Lean/Compiler/LCNF/InferType.olean +lib/lean/Lean/Compiler/LCNF/Internalize.ilean +lib/lean/Lean/Compiler/LCNF/Internalize.olean +lib/lean/Lean/Compiler/LCNF/JoinPoints.ilean +lib/lean/Lean/Compiler/LCNF/JoinPoints.olean +lib/lean/Lean/Compiler/LCNF/LCtx.ilean +lib/lean/Lean/Compiler/LCNF/LCtx.olean +lib/lean/Lean/Compiler/LCNF/LambdaLifting.ilean +lib/lean/Lean/Compiler/LCNF/LambdaLifting.olean +lib/lean/Lean/Compiler/LCNF/Level.ilean +lib/lean/Lean/Compiler/LCNF/Level.olean +lib/lean/Lean/Compiler/LCNF/Main.ilean +lib/lean/Lean/Compiler/LCNF/Main.olean +lib/lean/Lean/Compiler/LCNF/MonadScope.ilean +lib/lean/Lean/Compiler/LCNF/MonadScope.olean +lib/lean/Lean/Compiler/LCNF/MonoTypes.ilean +lib/lean/Lean/Compiler/LCNF/MonoTypes.olean +lib/lean/Lean/Compiler/LCNF/OtherDecl.ilean +lib/lean/Lean/Compiler/LCNF/OtherDecl.olean +lib/lean/Lean/Compiler/LCNF/PassManager.ilean +lib/lean/Lean/Compiler/LCNF/PassManager.olean +lib/lean/Lean/Compiler/LCNF/Passes.ilean +lib/lean/Lean/Compiler/LCNF/Passes.olean +lib/lean/Lean/Compiler/LCNF/PhaseExt.ilean +lib/lean/Lean/Compiler/LCNF/PhaseExt.olean +lib/lean/Lean/Compiler/LCNF/PrettyPrinter.ilean +lib/lean/Lean/Compiler/LCNF/PrettyPrinter.olean +lib/lean/Lean/Compiler/LCNF/Probing.ilean +lib/lean/Lean/Compiler/LCNF/Probing.olean +lib/lean/Lean/Compiler/LCNF/PullFunDecls.ilean +lib/lean/Lean/Compiler/LCNF/PullFunDecls.olean +lib/lean/Lean/Compiler/LCNF/PullLetDecls.ilean +lib/lean/Lean/Compiler/LCNF/PullLetDecls.olean +lib/lean/Lean/Compiler/LCNF/ReduceArity.ilean +lib/lean/Lean/Compiler/LCNF/ReduceArity.olean +lib/lean/Lean/Compiler/LCNF/ReduceJpArity.ilean +lib/lean/Lean/Compiler/LCNF/ReduceJpArity.olean +lib/lean/Lean/Compiler/LCNF/Renaming.ilean +lib/lean/Lean/Compiler/LCNF/Renaming.olean +lib/lean/Lean/Compiler/LCNF/ScopeM.ilean +lib/lean/Lean/Compiler/LCNF/ScopeM.olean +lib/lean/Lean/Compiler/LCNF/Simp.ilean +lib/lean/Lean/Compiler/LCNF/Simp.olean +lib/lean/Lean/Compiler/LCNF/Simp/Basic.ilean +lib/lean/Lean/Compiler/LCNF/Simp/Basic.olean +lib/lean/Lean/Compiler/LCNF/Simp/Config.ilean +lib/lean/Lean/Compiler/LCNF/Simp/Config.olean +lib/lean/Lean/Compiler/LCNF/Simp/ConstantFold.ilean +lib/lean/Lean/Compiler/LCNF/Simp/ConstantFold.olean +lib/lean/Lean/Compiler/LCNF/Simp/DefaultAlt.ilean +lib/lean/Lean/Compiler/LCNF/Simp/DefaultAlt.olean +lib/lean/Lean/Compiler/LCNF/Simp/DiscrM.ilean +lib/lean/Lean/Compiler/LCNF/Simp/DiscrM.olean +lib/lean/Lean/Compiler/LCNF/Simp/FunDeclInfo.ilean +lib/lean/Lean/Compiler/LCNF/Simp/FunDeclInfo.olean +lib/lean/Lean/Compiler/LCNF/Simp/InlineCandidate.ilean +lib/lean/Lean/Compiler/LCNF/Simp/InlineCandidate.olean +lib/lean/Lean/Compiler/LCNF/Simp/InlineProj.ilean +lib/lean/Lean/Compiler/LCNF/Simp/InlineProj.olean +lib/lean/Lean/Compiler/LCNF/Simp/JpCases.ilean +lib/lean/Lean/Compiler/LCNF/Simp/JpCases.olean +lib/lean/Lean/Compiler/LCNF/Simp/Main.ilean +lib/lean/Lean/Compiler/LCNF/Simp/Main.olean +lib/lean/Lean/Compiler/LCNF/Simp/SimpM.ilean +lib/lean/Lean/Compiler/LCNF/Simp/SimpM.olean +lib/lean/Lean/Compiler/LCNF/Simp/SimpValue.ilean +lib/lean/Lean/Compiler/LCNF/Simp/SimpValue.olean +lib/lean/Lean/Compiler/LCNF/Simp/Used.ilean +lib/lean/Lean/Compiler/LCNF/Simp/Used.olean +lib/lean/Lean/Compiler/LCNF/SpecInfo.ilean +lib/lean/Lean/Compiler/LCNF/SpecInfo.olean +lib/lean/Lean/Compiler/LCNF/Specialize.ilean +lib/lean/Lean/Compiler/LCNF/Specialize.olean +lib/lean/Lean/Compiler/LCNF/Testing.ilean +lib/lean/Lean/Compiler/LCNF/Testing.olean +lib/lean/Lean/Compiler/LCNF/ToDecl.ilean +lib/lean/Lean/Compiler/LCNF/ToDecl.olean +lib/lean/Lean/Compiler/LCNF/ToExpr.ilean +lib/lean/Lean/Compiler/LCNF/ToExpr.olean +lib/lean/Lean/Compiler/LCNF/ToLCNF.ilean +lib/lean/Lean/Compiler/LCNF/ToLCNF.olean +lib/lean/Lean/Compiler/LCNF/ToMono.ilean +lib/lean/Lean/Compiler/LCNF/ToMono.olean +lib/lean/Lean/Compiler/LCNF/Types.ilean +lib/lean/Lean/Compiler/LCNF/Types.olean +lib/lean/Lean/Compiler/LCNF/Util.ilean +lib/lean/Lean/Compiler/LCNF/Util.olean +lib/lean/Lean/Compiler/Main.ilean +lib/lean/Lean/Compiler/Main.olean +lib/lean/Lean/Compiler/NameMangling.ilean +lib/lean/Lean/Compiler/NameMangling.olean +lib/lean/Lean/Compiler/NeverExtractAttr.ilean +lib/lean/Lean/Compiler/NeverExtractAttr.olean +lib/lean/Lean/Compiler/NoncomputableAttr.ilean +lib/lean/Lean/Compiler/NoncomputableAttr.olean +lib/lean/Lean/Compiler/Old.ilean +lib/lean/Lean/Compiler/Old.olean +lib/lean/Lean/Compiler/Options.ilean +lib/lean/Lean/Compiler/Options.olean +lib/lean/Lean/Compiler/Specialize.ilean +lib/lean/Lean/Compiler/Specialize.olean +lib/lean/Lean/CoreM.ilean +lib/lean/Lean/CoreM.olean +lib/lean/Lean/Data.ilean +lib/lean/Lean/Data.olean +lib/lean/Lean/Data/Array.ilean +lib/lean/Lean/Data/Array.olean +lib/lean/Lean/Data/AssocList.ilean +lib/lean/Lean/Data/AssocList.olean +lib/lean/Lean/Data/Format.ilean +lib/lean/Lean/Data/Format.olean +lib/lean/Lean/Data/FuzzyMatching.ilean +lib/lean/Lean/Data/FuzzyMatching.olean +lib/lean/Lean/Data/HashMap.ilean +lib/lean/Lean/Data/HashMap.olean +lib/lean/Lean/Data/HashSet.ilean +lib/lean/Lean/Data/HashSet.olean +lib/lean/Lean/Data/Json.ilean +lib/lean/Lean/Data/Json.olean +lib/lean/Lean/Data/Json/Basic.ilean +lib/lean/Lean/Data/Json/Basic.olean +lib/lean/Lean/Data/Json/FromToJson.ilean +lib/lean/Lean/Data/Json/FromToJson.olean +lib/lean/Lean/Data/Json/Parser.ilean +lib/lean/Lean/Data/Json/Parser.olean +lib/lean/Lean/Data/Json/Printer.ilean +lib/lean/Lean/Data/Json/Printer.olean +lib/lean/Lean/Data/Json/Stream.ilean +lib/lean/Lean/Data/Json/Stream.olean +lib/lean/Lean/Data/JsonRpc.ilean +lib/lean/Lean/Data/JsonRpc.olean +lib/lean/Lean/Data/KVMap.ilean +lib/lean/Lean/Data/KVMap.olean +lib/lean/Lean/Data/LBool.ilean +lib/lean/Lean/Data/LBool.olean +lib/lean/Lean/Data/LOption.ilean +lib/lean/Lean/Data/LOption.olean +lib/lean/Lean/Data/Lsp.ilean +lib/lean/Lean/Data/Lsp.olean +lib/lean/Lean/Data/Lsp/Basic.ilean +lib/lean/Lean/Data/Lsp/Basic.olean +lib/lean/Lean/Data/Lsp/Capabilities.ilean +lib/lean/Lean/Data/Lsp/Capabilities.olean +lib/lean/Lean/Data/Lsp/Client.ilean +lib/lean/Lean/Data/Lsp/Client.olean +lib/lean/Lean/Data/Lsp/CodeActions.ilean +lib/lean/Lean/Data/Lsp/CodeActions.olean +lib/lean/Lean/Data/Lsp/Communication.ilean +lib/lean/Lean/Data/Lsp/Communication.olean +lib/lean/Lean/Data/Lsp/Diagnostics.ilean +lib/lean/Lean/Data/Lsp/Diagnostics.olean +lib/lean/Lean/Data/Lsp/Extra.ilean +lib/lean/Lean/Data/Lsp/Extra.olean +lib/lean/Lean/Data/Lsp/InitShutdown.ilean +lib/lean/Lean/Data/Lsp/InitShutdown.olean +lib/lean/Lean/Data/Lsp/Internal.ilean +lib/lean/Lean/Data/Lsp/Internal.olean +lib/lean/Lean/Data/Lsp/Ipc.ilean +lib/lean/Lean/Data/Lsp/Ipc.olean +lib/lean/Lean/Data/Lsp/LanguageFeatures.ilean +lib/lean/Lean/Data/Lsp/LanguageFeatures.olean +lib/lean/Lean/Data/Lsp/TextSync.ilean +lib/lean/Lean/Data/Lsp/TextSync.olean +lib/lean/Lean/Data/Lsp/Utf16.ilean +lib/lean/Lean/Data/Lsp/Utf16.olean +lib/lean/Lean/Data/Lsp/Workspace.ilean +lib/lean/Lean/Data/Lsp/Workspace.olean +lib/lean/Lean/Data/Name.ilean +lib/lean/Lean/Data/Name.olean +lib/lean/Lean/Data/NameMap.ilean +lib/lean/Lean/Data/NameMap.olean +lib/lean/Lean/Data/NameTrie.ilean +lib/lean/Lean/Data/NameTrie.olean +lib/lean/Lean/Data/OpenDecl.ilean +lib/lean/Lean/Data/OpenDecl.olean +lib/lean/Lean/Data/Options.ilean +lib/lean/Lean/Data/Options.olean +lib/lean/Lean/Data/Parsec.ilean +lib/lean/Lean/Data/Parsec.olean +lib/lean/Lean/Data/PersistentArray.ilean +lib/lean/Lean/Data/PersistentArray.olean +lib/lean/Lean/Data/PersistentHashMap.ilean +lib/lean/Lean/Data/PersistentHashMap.olean +lib/lean/Lean/Data/PersistentHashSet.ilean +lib/lean/Lean/Data/PersistentHashSet.olean +lib/lean/Lean/Data/Position.ilean +lib/lean/Lean/Data/Position.olean +lib/lean/Lean/Data/PrefixTree.ilean +lib/lean/Lean/Data/PrefixTree.olean +lib/lean/Lean/Data/RBMap.ilean +lib/lean/Lean/Data/RBMap.olean +lib/lean/Lean/Data/RBTree.ilean +lib/lean/Lean/Data/RBTree.olean +lib/lean/Lean/Data/Rat.ilean +lib/lean/Lean/Data/Rat.olean +lib/lean/Lean/Data/SMap.ilean +lib/lean/Lean/Data/SMap.olean +lib/lean/Lean/Data/SSet.ilean +lib/lean/Lean/Data/SSet.olean +lib/lean/Lean/Data/Trie.ilean +lib/lean/Lean/Data/Trie.olean +lib/lean/Lean/Data/Xml.ilean +lib/lean/Lean/Data/Xml.olean +lib/lean/Lean/Data/Xml/Basic.ilean +lib/lean/Lean/Data/Xml/Basic.olean +lib/lean/Lean/Data/Xml/Parser.ilean +lib/lean/Lean/Data/Xml/Parser.olean +lib/lean/Lean/Declaration.ilean +lib/lean/Lean/Declaration.olean +lib/lean/Lean/DeclarationRange.ilean +lib/lean/Lean/DeclarationRange.olean +lib/lean/Lean/DocString.ilean +lib/lean/Lean/DocString.olean +lib/lean/Lean/Elab.ilean +lib/lean/Lean/Elab.olean +lib/lean/Lean/Elab/App.ilean +lib/lean/Lean/Elab/App.olean +lib/lean/Lean/Elab/Arg.ilean +lib/lean/Lean/Elab/Arg.olean +lib/lean/Lean/Elab/Attributes.ilean +lib/lean/Lean/Elab/Attributes.olean +lib/lean/Lean/Elab/AutoBound.ilean +lib/lean/Lean/Elab/AutoBound.olean +lib/lean/Lean/Elab/AuxDef.ilean +lib/lean/Lean/Elab/AuxDef.olean +lib/lean/Lean/Elab/Binders.ilean +lib/lean/Lean/Elab/Binders.olean +lib/lean/Lean/Elab/BindersUtil.ilean +lib/lean/Lean/Elab/BindersUtil.olean +lib/lean/Lean/Elab/BuiltinCommand.ilean +lib/lean/Lean/Elab/BuiltinCommand.olean +lib/lean/Lean/Elab/BuiltinNotation.ilean +lib/lean/Lean/Elab/BuiltinNotation.olean +lib/lean/Lean/Elab/BuiltinTerm.ilean +lib/lean/Lean/Elab/BuiltinTerm.olean +lib/lean/Lean/Elab/Calc.ilean +lib/lean/Lean/Elab/Calc.olean +lib/lean/Lean/Elab/Command.ilean +lib/lean/Lean/Elab/Command.olean +lib/lean/Lean/Elab/ComputedFields.ilean +lib/lean/Lean/Elab/ComputedFields.olean +lib/lean/Lean/Elab/Config.ilean +lib/lean/Lean/Elab/Config.olean +lib/lean/Lean/Elab/DeclModifiers.ilean +lib/lean/Lean/Elab/DeclModifiers.olean +lib/lean/Lean/Elab/DeclUtil.ilean +lib/lean/Lean/Elab/DeclUtil.olean +lib/lean/Lean/Elab/Declaration.ilean +lib/lean/Lean/Elab/Declaration.olean +lib/lean/Lean/Elab/DeclarationRange.ilean +lib/lean/Lean/Elab/DeclarationRange.olean +lib/lean/Lean/Elab/DefView.ilean +lib/lean/Lean/Elab/DefView.olean +lib/lean/Lean/Elab/Deriving.ilean +lib/lean/Lean/Elab/Deriving.olean +lib/lean/Lean/Elab/Deriving/BEq.ilean +lib/lean/Lean/Elab/Deriving/BEq.olean +lib/lean/Lean/Elab/Deriving/Basic.ilean +lib/lean/Lean/Elab/Deriving/Basic.olean +lib/lean/Lean/Elab/Deriving/DecEq.ilean +lib/lean/Lean/Elab/Deriving/DecEq.olean +lib/lean/Lean/Elab/Deriving/FromToJson.ilean +lib/lean/Lean/Elab/Deriving/FromToJson.olean +lib/lean/Lean/Elab/Deriving/Hashable.ilean +lib/lean/Lean/Elab/Deriving/Hashable.olean +lib/lean/Lean/Elab/Deriving/Inhabited.ilean +lib/lean/Lean/Elab/Deriving/Inhabited.olean +lib/lean/Lean/Elab/Deriving/Nonempty.ilean +lib/lean/Lean/Elab/Deriving/Nonempty.olean +lib/lean/Lean/Elab/Deriving/Ord.ilean +lib/lean/Lean/Elab/Deriving/Ord.olean +lib/lean/Lean/Elab/Deriving/Repr.ilean +lib/lean/Lean/Elab/Deriving/Repr.olean +lib/lean/Lean/Elab/Deriving/SizeOf.ilean +lib/lean/Lean/Elab/Deriving/SizeOf.olean +lib/lean/Lean/Elab/Deriving/TypeName.ilean +lib/lean/Lean/Elab/Deriving/TypeName.olean +lib/lean/Lean/Elab/Deriving/Util.ilean +lib/lean/Lean/Elab/Deriving/Util.olean +lib/lean/Lean/Elab/Do.ilean +lib/lean/Lean/Elab/Do.olean +lib/lean/Lean/Elab/ElabRules.ilean +lib/lean/Lean/Elab/ElabRules.olean +lib/lean/Lean/Elab/Eval.ilean +lib/lean/Lean/Elab/Eval.olean +lib/lean/Lean/Elab/Exception.ilean +lib/lean/Lean/Elab/Exception.olean +lib/lean/Lean/Elab/Extra.ilean +lib/lean/Lean/Elab/Extra.olean +lib/lean/Lean/Elab/Frontend.ilean +lib/lean/Lean/Elab/Frontend.olean +lib/lean/Lean/Elab/GenInjective.ilean +lib/lean/Lean/Elab/GenInjective.olean +lib/lean/Lean/Elab/Import.ilean +lib/lean/Lean/Elab/Import.olean +lib/lean/Lean/Elab/Inductive.ilean +lib/lean/Lean/Elab/Inductive.olean +lib/lean/Lean/Elab/InfoTree.ilean +lib/lean/Lean/Elab/InfoTree.olean +lib/lean/Lean/Elab/InfoTree/Main.ilean +lib/lean/Lean/Elab/InfoTree/Main.olean +lib/lean/Lean/Elab/InfoTree/Types.ilean +lib/lean/Lean/Elab/InfoTree/Types.olean +lib/lean/Lean/Elab/InheritDoc.ilean +lib/lean/Lean/Elab/InheritDoc.olean +lib/lean/Lean/Elab/LetRec.ilean +lib/lean/Lean/Elab/LetRec.olean +lib/lean/Lean/Elab/Level.ilean +lib/lean/Lean/Elab/Level.olean +lib/lean/Lean/Elab/Macro.ilean +lib/lean/Lean/Elab/Macro.olean +lib/lean/Lean/Elab/MacroArgUtil.ilean +lib/lean/Lean/Elab/MacroArgUtil.olean +lib/lean/Lean/Elab/MacroRules.ilean +lib/lean/Lean/Elab/MacroRules.olean +lib/lean/Lean/Elab/Match.ilean +lib/lean/Lean/Elab/Match.olean +lib/lean/Lean/Elab/MatchAltView.ilean +lib/lean/Lean/Elab/MatchAltView.olean +lib/lean/Lean/Elab/Mixfix.ilean +lib/lean/Lean/Elab/Mixfix.olean +lib/lean/Lean/Elab/MutualDef.ilean +lib/lean/Lean/Elab/MutualDef.olean +lib/lean/Lean/Elab/Notation.ilean +lib/lean/Lean/Elab/Notation.olean +lib/lean/Lean/Elab/Open.ilean +lib/lean/Lean/Elab/Open.olean +lib/lean/Lean/Elab/ParseImportsFast.ilean +lib/lean/Lean/Elab/ParseImportsFast.olean +lib/lean/Lean/Elab/PatternVar.ilean +lib/lean/Lean/Elab/PatternVar.olean +lib/lean/Lean/Elab/PreDefinition.ilean +lib/lean/Lean/Elab/PreDefinition.olean +lib/lean/Lean/Elab/PreDefinition/Basic.ilean +lib/lean/Lean/Elab/PreDefinition/Basic.olean +lib/lean/Lean/Elab/PreDefinition/Eqns.ilean +lib/lean/Lean/Elab/PreDefinition/Eqns.olean +lib/lean/Lean/Elab/PreDefinition/Main.ilean +lib/lean/Lean/Elab/PreDefinition/Main.olean +lib/lean/Lean/Elab/PreDefinition/MkInhabitant.ilean +lib/lean/Lean/Elab/PreDefinition/MkInhabitant.olean +lib/lean/Lean/Elab/PreDefinition/Structural.ilean +lib/lean/Lean/Elab/PreDefinition/Structural.olean +lib/lean/Lean/Elab/PreDefinition/Structural/BRecOn.ilean +lib/lean/Lean/Elab/PreDefinition/Structural/BRecOn.olean +lib/lean/Lean/Elab/PreDefinition/Structural/Basic.ilean +lib/lean/Lean/Elab/PreDefinition/Structural/Basic.olean +lib/lean/Lean/Elab/PreDefinition/Structural/Eqns.ilean +lib/lean/Lean/Elab/PreDefinition/Structural/Eqns.olean +lib/lean/Lean/Elab/PreDefinition/Structural/FindRecArg.ilean +lib/lean/Lean/Elab/PreDefinition/Structural/FindRecArg.olean +lib/lean/Lean/Elab/PreDefinition/Structural/IndPred.ilean +lib/lean/Lean/Elab/PreDefinition/Structural/IndPred.olean +lib/lean/Lean/Elab/PreDefinition/Structural/Main.ilean +lib/lean/Lean/Elab/PreDefinition/Structural/Main.olean +lib/lean/Lean/Elab/PreDefinition/Structural/Preprocess.ilean +lib/lean/Lean/Elab/PreDefinition/Structural/Preprocess.olean +lib/lean/Lean/Elab/PreDefinition/Structural/SmartUnfolding.ilean +lib/lean/Lean/Elab/PreDefinition/Structural/SmartUnfolding.olean +lib/lean/Lean/Elab/PreDefinition/WF.ilean +lib/lean/Lean/Elab/PreDefinition/WF.olean +lib/lean/Lean/Elab/PreDefinition/WF/Eqns.ilean +lib/lean/Lean/Elab/PreDefinition/WF/Eqns.olean +lib/lean/Lean/Elab/PreDefinition/WF/Fix.ilean +lib/lean/Lean/Elab/PreDefinition/WF/Fix.olean +lib/lean/Lean/Elab/PreDefinition/WF/GuessLex.ilean +lib/lean/Lean/Elab/PreDefinition/WF/GuessLex.olean +lib/lean/Lean/Elab/PreDefinition/WF/Ite.ilean +lib/lean/Lean/Elab/PreDefinition/WF/Ite.olean +lib/lean/Lean/Elab/PreDefinition/WF/Main.ilean +lib/lean/Lean/Elab/PreDefinition/WF/Main.olean +lib/lean/Lean/Elab/PreDefinition/WF/PackDomain.ilean +lib/lean/Lean/Elab/PreDefinition/WF/PackDomain.olean +lib/lean/Lean/Elab/PreDefinition/WF/PackMutual.ilean +lib/lean/Lean/Elab/PreDefinition/WF/PackMutual.olean +lib/lean/Lean/Elab/PreDefinition/WF/Preprocess.ilean +lib/lean/Lean/Elab/PreDefinition/WF/Preprocess.olean +lib/lean/Lean/Elab/PreDefinition/WF/Rel.ilean +lib/lean/Lean/Elab/PreDefinition/WF/Rel.olean +lib/lean/Lean/Elab/PreDefinition/WF/TerminationHint.ilean +lib/lean/Lean/Elab/PreDefinition/WF/TerminationHint.olean +lib/lean/Lean/Elab/Print.ilean +lib/lean/Lean/Elab/Print.olean +lib/lean/Lean/Elab/Quotation.ilean +lib/lean/Lean/Elab/Quotation.olean +lib/lean/Lean/Elab/Quotation/Precheck.ilean +lib/lean/Lean/Elab/Quotation/Precheck.olean +lib/lean/Lean/Elab/Quotation/Util.ilean +lib/lean/Lean/Elab/Quotation/Util.olean +lib/lean/Lean/Elab/RecAppSyntax.ilean +lib/lean/Lean/Elab/RecAppSyntax.olean +lib/lean/Lean/Elab/SetOption.ilean +lib/lean/Lean/Elab/SetOption.olean +lib/lean/Lean/Elab/StructInst.ilean +lib/lean/Lean/Elab/StructInst.olean +lib/lean/Lean/Elab/Structure.ilean +lib/lean/Lean/Elab/Structure.olean +lib/lean/Lean/Elab/Syntax.ilean +lib/lean/Lean/Elab/Syntax.olean +lib/lean/Lean/Elab/SyntheticMVars.ilean +lib/lean/Lean/Elab/SyntheticMVars.olean +lib/lean/Lean/Elab/Tactic.ilean +lib/lean/Lean/Elab/Tactic.olean +lib/lean/Lean/Elab/Tactic/Basic.ilean +lib/lean/Lean/Elab/Tactic/Basic.olean +lib/lean/Lean/Elab/Tactic/BuiltinTactic.ilean +lib/lean/Lean/Elab/Tactic/BuiltinTactic.olean +lib/lean/Lean/Elab/Tactic/Cache.ilean +lib/lean/Lean/Elab/Tactic/Cache.olean +lib/lean/Lean/Elab/Tactic/Calc.ilean +lib/lean/Lean/Elab/Tactic/Calc.olean +lib/lean/Lean/Elab/Tactic/Config.ilean +lib/lean/Lean/Elab/Tactic/Config.olean +lib/lean/Lean/Elab/Tactic/Congr.ilean +lib/lean/Lean/Elab/Tactic/Congr.olean +lib/lean/Lean/Elab/Tactic/Conv.ilean +lib/lean/Lean/Elab/Tactic/Conv.olean +lib/lean/Lean/Elab/Tactic/Conv/Basic.ilean +lib/lean/Lean/Elab/Tactic/Conv/Basic.olean +lib/lean/Lean/Elab/Tactic/Conv/Change.ilean +lib/lean/Lean/Elab/Tactic/Conv/Change.olean +lib/lean/Lean/Elab/Tactic/Conv/Congr.ilean +lib/lean/Lean/Elab/Tactic/Conv/Congr.olean +lib/lean/Lean/Elab/Tactic/Conv/Delta.ilean +lib/lean/Lean/Elab/Tactic/Conv/Delta.olean +lib/lean/Lean/Elab/Tactic/Conv/Pattern.ilean +lib/lean/Lean/Elab/Tactic/Conv/Pattern.olean +lib/lean/Lean/Elab/Tactic/Conv/Rewrite.ilean +lib/lean/Lean/Elab/Tactic/Conv/Rewrite.olean +lib/lean/Lean/Elab/Tactic/Conv/Simp.ilean +lib/lean/Lean/Elab/Tactic/Conv/Simp.olean +lib/lean/Lean/Elab/Tactic/Conv/Unfold.ilean +lib/lean/Lean/Elab/Tactic/Conv/Unfold.olean +lib/lean/Lean/Elab/Tactic/Delta.ilean +lib/lean/Lean/Elab/Tactic/Delta.olean +lib/lean/Lean/Elab/Tactic/ElabTerm.ilean +lib/lean/Lean/Elab/Tactic/ElabTerm.olean +lib/lean/Lean/Elab/Tactic/Generalize.ilean +lib/lean/Lean/Elab/Tactic/Generalize.olean +lib/lean/Lean/Elab/Tactic/Induction.ilean +lib/lean/Lean/Elab/Tactic/Induction.olean +lib/lean/Lean/Elab/Tactic/Injection.ilean +lib/lean/Lean/Elab/Tactic/Injection.olean +lib/lean/Lean/Elab/Tactic/Location.ilean +lib/lean/Lean/Elab/Tactic/Location.olean +lib/lean/Lean/Elab/Tactic/Match.ilean +lib/lean/Lean/Elab/Tactic/Match.olean +lib/lean/Lean/Elab/Tactic/Meta.ilean +lib/lean/Lean/Elab/Tactic/Meta.olean +lib/lean/Lean/Elab/Tactic/Rewrite.ilean +lib/lean/Lean/Elab/Tactic/Rewrite.olean +lib/lean/Lean/Elab/Tactic/Simp.ilean +lib/lean/Lean/Elab/Tactic/Simp.olean +lib/lean/Lean/Elab/Tactic/Split.ilean +lib/lean/Lean/Elab/Tactic/Split.olean +lib/lean/Lean/Elab/Tactic/Unfold.ilean +lib/lean/Lean/Elab/Tactic/Unfold.olean +lib/lean/Lean/Elab/Term.ilean +lib/lean/Lean/Elab/Term.olean +lib/lean/Lean/Elab/Util.ilean +lib/lean/Lean/Elab/Util.olean +lib/lean/Lean/Environment.ilean +lib/lean/Lean/Environment.olean +lib/lean/Lean/Eval.ilean +lib/lean/Lean/Eval.olean +lib/lean/Lean/Exception.ilean +lib/lean/Lean/Exception.olean +lib/lean/Lean/Expr.ilean +lib/lean/Lean/Expr.olean +lib/lean/Lean/HeadIndex.ilean +lib/lean/Lean/HeadIndex.olean +lib/lean/Lean/Hygiene.ilean +lib/lean/Lean/Hygiene.olean +lib/lean/Lean/ImportingFlag.ilean +lib/lean/Lean/ImportingFlag.olean +lib/lean/Lean/InternalExceptionId.ilean +lib/lean/Lean/InternalExceptionId.olean +lib/lean/Lean/KeyedDeclsAttribute.ilean +lib/lean/Lean/KeyedDeclsAttribute.olean +lib/lean/Lean/LazyInitExtension.ilean +lib/lean/Lean/LazyInitExtension.olean +lib/lean/Lean/Level.ilean +lib/lean/Lean/Level.olean +lib/lean/Lean/Linter.ilean +lib/lean/Lean/Linter.olean +lib/lean/Lean/Linter/Basic.ilean +lib/lean/Lean/Linter/Basic.olean +lib/lean/Lean/Linter/Builtin.ilean +lib/lean/Lean/Linter/Builtin.olean +lib/lean/Lean/Linter/Deprecated.ilean +lib/lean/Lean/Linter/Deprecated.olean +lib/lean/Lean/Linter/MissingDocs.ilean +lib/lean/Lean/Linter/MissingDocs.olean +lib/lean/Lean/Linter/UnusedVariables.ilean +lib/lean/Lean/Linter/UnusedVariables.olean +lib/lean/Lean/Linter/Util.ilean +lib/lean/Lean/Linter/Util.olean +lib/lean/Lean/LoadDynlib.ilean +lib/lean/Lean/LoadDynlib.olean +lib/lean/Lean/LocalContext.ilean +lib/lean/Lean/LocalContext.olean +lib/lean/Lean/Log.ilean +lib/lean/Lean/Log.olean +lib/lean/Lean/Message.ilean +lib/lean/Lean/Message.olean +lib/lean/Lean/Meta.ilean +lib/lean/Lean/Meta.olean +lib/lean/Lean/Meta/ACLt.ilean +lib/lean/Lean/Meta/ACLt.olean +lib/lean/Lean/Meta/AbstractMVars.ilean +lib/lean/Lean/Meta/AbstractMVars.olean +lib/lean/Lean/Meta/AbstractNestedProofs.ilean +lib/lean/Lean/Meta/AbstractNestedProofs.olean +lib/lean/Lean/Meta/AppBuilder.ilean +lib/lean/Lean/Meta/AppBuilder.olean +lib/lean/Lean/Meta/Basic.ilean +lib/lean/Lean/Meta/Basic.olean +lib/lean/Lean/Meta/CasesOn.ilean +lib/lean/Lean/Meta/CasesOn.olean +lib/lean/Lean/Meta/Check.ilean +lib/lean/Lean/Meta/Check.olean +lib/lean/Lean/Meta/Closure.ilean +lib/lean/Lean/Meta/Closure.olean +lib/lean/Lean/Meta/Coe.ilean +lib/lean/Lean/Meta/Coe.olean +lib/lean/Lean/Meta/CollectFVars.ilean +lib/lean/Lean/Meta/CollectFVars.olean +lib/lean/Lean/Meta/CollectMVars.ilean +lib/lean/Lean/Meta/CollectMVars.olean +lib/lean/Lean/Meta/CongrTheorems.ilean +lib/lean/Lean/Meta/CongrTheorems.olean +lib/lean/Lean/Meta/Constructions.ilean +lib/lean/Lean/Meta/Constructions.olean +lib/lean/Lean/Meta/DecLevel.ilean +lib/lean/Lean/Meta/DecLevel.olean +lib/lean/Lean/Meta/DiscrTree.ilean +lib/lean/Lean/Meta/DiscrTree.olean +lib/lean/Lean/Meta/DiscrTreeTypes.ilean +lib/lean/Lean/Meta/DiscrTreeTypes.olean +lib/lean/Lean/Meta/Eqns.ilean +lib/lean/Lean/Meta/Eqns.olean +lib/lean/Lean/Meta/Eval.ilean +lib/lean/Lean/Meta/Eval.olean +lib/lean/Lean/Meta/ExprDefEq.ilean +lib/lean/Lean/Meta/ExprDefEq.olean +lib/lean/Lean/Meta/ExprLens.ilean +lib/lean/Lean/Meta/ExprLens.olean +lib/lean/Lean/Meta/ExprTraverse.ilean +lib/lean/Lean/Meta/ExprTraverse.olean +lib/lean/Lean/Meta/ForEachExpr.ilean +lib/lean/Lean/Meta/ForEachExpr.olean +lib/lean/Lean/Meta/FunInfo.ilean +lib/lean/Lean/Meta/FunInfo.olean +lib/lean/Lean/Meta/GeneralizeTelescope.ilean +lib/lean/Lean/Meta/GeneralizeTelescope.olean +lib/lean/Lean/Meta/GeneralizeVars.ilean +lib/lean/Lean/Meta/GeneralizeVars.olean +lib/lean/Lean/Meta/GetUnfoldableConst.ilean +lib/lean/Lean/Meta/GetUnfoldableConst.olean +lib/lean/Lean/Meta/GlobalInstances.ilean +lib/lean/Lean/Meta/GlobalInstances.olean +lib/lean/Lean/Meta/IndPredBelow.ilean +lib/lean/Lean/Meta/IndPredBelow.olean +lib/lean/Lean/Meta/Inductive.ilean +lib/lean/Lean/Meta/Inductive.olean +lib/lean/Lean/Meta/InferType.ilean +lib/lean/Lean/Meta/InferType.olean +lib/lean/Lean/Meta/Injective.ilean +lib/lean/Lean/Meta/Injective.olean +lib/lean/Lean/Meta/Instances.ilean +lib/lean/Lean/Meta/Instances.olean +lib/lean/Lean/Meta/KAbstract.ilean +lib/lean/Lean/Meta/KAbstract.olean +lib/lean/Lean/Meta/KExprMap.ilean +lib/lean/Lean/Meta/KExprMap.olean +lib/lean/Lean/Meta/LevelDefEq.ilean +lib/lean/Lean/Meta/LevelDefEq.olean +lib/lean/Lean/Meta/Match.ilean +lib/lean/Lean/Meta/Match.olean +lib/lean/Lean/Meta/Match/Basic.ilean +lib/lean/Lean/Meta/Match/Basic.olean +lib/lean/Lean/Meta/Match/CaseArraySizes.ilean +lib/lean/Lean/Meta/Match/CaseArraySizes.olean +lib/lean/Lean/Meta/Match/CaseValues.ilean +lib/lean/Lean/Meta/Match/CaseValues.olean +lib/lean/Lean/Meta/Match/MVarRenaming.ilean +lib/lean/Lean/Meta/Match/MVarRenaming.olean +lib/lean/Lean/Meta/Match/Match.ilean +lib/lean/Lean/Meta/Match/Match.olean +lib/lean/Lean/Meta/Match/MatchEqs.ilean +lib/lean/Lean/Meta/Match/MatchEqs.olean +lib/lean/Lean/Meta/Match/MatchEqsExt.ilean +lib/lean/Lean/Meta/Match/MatchEqsExt.olean +lib/lean/Lean/Meta/Match/MatchPatternAttr.ilean +lib/lean/Lean/Meta/Match/MatchPatternAttr.olean +lib/lean/Lean/Meta/Match/MatcherInfo.ilean +lib/lean/Lean/Meta/Match/MatcherInfo.olean +lib/lean/Lean/Meta/Match/Value.ilean +lib/lean/Lean/Meta/Match/Value.olean +lib/lean/Lean/Meta/MatchUtil.ilean +lib/lean/Lean/Meta/MatchUtil.olean +lib/lean/Lean/Meta/Offset.ilean +lib/lean/Lean/Meta/Offset.olean +lib/lean/Lean/Meta/PPGoal.ilean +lib/lean/Lean/Meta/PPGoal.olean +lib/lean/Lean/Meta/RecursorInfo.ilean +lib/lean/Lean/Meta/RecursorInfo.olean +lib/lean/Lean/Meta/Reduce.ilean +lib/lean/Lean/Meta/Reduce.olean +lib/lean/Lean/Meta/ReduceEval.ilean +lib/lean/Lean/Meta/ReduceEval.olean +lib/lean/Lean/Meta/SizeOf.ilean +lib/lean/Lean/Meta/SizeOf.olean +lib/lean/Lean/Meta/Structure.ilean +lib/lean/Lean/Meta/Structure.olean +lib/lean/Lean/Meta/SynthInstance.ilean +lib/lean/Lean/Meta/SynthInstance.olean +lib/lean/Lean/Meta/Tactic.ilean +lib/lean/Lean/Meta/Tactic.olean +lib/lean/Lean/Meta/Tactic/AC.ilean +lib/lean/Lean/Meta/Tactic/AC.olean +lib/lean/Lean/Meta/Tactic/AC/Main.ilean +lib/lean/Lean/Meta/Tactic/AC/Main.olean +lib/lean/Lean/Meta/Tactic/Acyclic.ilean +lib/lean/Lean/Meta/Tactic/Acyclic.olean +lib/lean/Lean/Meta/Tactic/Apply.ilean +lib/lean/Lean/Meta/Tactic/Apply.olean +lib/lean/Lean/Meta/Tactic/Assert.ilean +lib/lean/Lean/Meta/Tactic/Assert.olean +lib/lean/Lean/Meta/Tactic/Assumption.ilean +lib/lean/Lean/Meta/Tactic/Assumption.olean +lib/lean/Lean/Meta/Tactic/AuxLemma.ilean +lib/lean/Lean/Meta/Tactic/AuxLemma.olean +lib/lean/Lean/Meta/Tactic/Cases.ilean +lib/lean/Lean/Meta/Tactic/Cases.olean +lib/lean/Lean/Meta/Tactic/Cleanup.ilean +lib/lean/Lean/Meta/Tactic/Cleanup.olean +lib/lean/Lean/Meta/Tactic/Clear.ilean +lib/lean/Lean/Meta/Tactic/Clear.olean +lib/lean/Lean/Meta/Tactic/Congr.ilean +lib/lean/Lean/Meta/Tactic/Congr.olean +lib/lean/Lean/Meta/Tactic/Constructor.ilean +lib/lean/Lean/Meta/Tactic/Constructor.olean +lib/lean/Lean/Meta/Tactic/Contradiction.ilean +lib/lean/Lean/Meta/Tactic/Contradiction.olean +lib/lean/Lean/Meta/Tactic/Delta.ilean +lib/lean/Lean/Meta/Tactic/Delta.olean +lib/lean/Lean/Meta/Tactic/ElimInfo.ilean +lib/lean/Lean/Meta/Tactic/ElimInfo.olean +lib/lean/Lean/Meta/Tactic/FVarSubst.ilean +lib/lean/Lean/Meta/Tactic/FVarSubst.olean +lib/lean/Lean/Meta/Tactic/Generalize.ilean +lib/lean/Lean/Meta/Tactic/Generalize.olean +lib/lean/Lean/Meta/Tactic/Induction.ilean +lib/lean/Lean/Meta/Tactic/Induction.olean +lib/lean/Lean/Meta/Tactic/Injection.ilean +lib/lean/Lean/Meta/Tactic/Injection.olean +lib/lean/Lean/Meta/Tactic/Intro.ilean +lib/lean/Lean/Meta/Tactic/Intro.olean +lib/lean/Lean/Meta/Tactic/LinearArith.ilean +lib/lean/Lean/Meta/Tactic/LinearArith.olean +lib/lean/Lean/Meta/Tactic/LinearArith/Basic.ilean +lib/lean/Lean/Meta/Tactic/LinearArith/Basic.olean +lib/lean/Lean/Meta/Tactic/LinearArith/Main.ilean +lib/lean/Lean/Meta/Tactic/LinearArith/Main.olean +lib/lean/Lean/Meta/Tactic/LinearArith/Nat.ilean +lib/lean/Lean/Meta/Tactic/LinearArith/Nat.olean +lib/lean/Lean/Meta/Tactic/LinearArith/Nat/Basic.ilean +lib/lean/Lean/Meta/Tactic/LinearArith/Nat/Basic.olean +lib/lean/Lean/Meta/Tactic/LinearArith/Nat/Simp.ilean +lib/lean/Lean/Meta/Tactic/LinearArith/Nat/Simp.olean +lib/lean/Lean/Meta/Tactic/LinearArith/Nat/Solver.ilean +lib/lean/Lean/Meta/Tactic/LinearArith/Nat/Solver.olean +lib/lean/Lean/Meta/Tactic/LinearArith/Simp.ilean +lib/lean/Lean/Meta/Tactic/LinearArith/Simp.olean +lib/lean/Lean/Meta/Tactic/LinearArith/Solver.ilean +lib/lean/Lean/Meta/Tactic/LinearArith/Solver.olean +lib/lean/Lean/Meta/Tactic/Refl.ilean +lib/lean/Lean/Meta/Tactic/Refl.olean +lib/lean/Lean/Meta/Tactic/Rename.ilean +lib/lean/Lean/Meta/Tactic/Rename.olean +lib/lean/Lean/Meta/Tactic/Replace.ilean +lib/lean/Lean/Meta/Tactic/Replace.olean +lib/lean/Lean/Meta/Tactic/Revert.ilean +lib/lean/Lean/Meta/Tactic/Revert.olean +lib/lean/Lean/Meta/Tactic/Rewrite.ilean +lib/lean/Lean/Meta/Tactic/Rewrite.olean +lib/lean/Lean/Meta/Tactic/Simp.ilean +lib/lean/Lean/Meta/Tactic/Simp.olean +lib/lean/Lean/Meta/Tactic/Simp/Main.ilean +lib/lean/Lean/Meta/Tactic/Simp/Main.olean +lib/lean/Lean/Meta/Tactic/Simp/Rewrite.ilean +lib/lean/Lean/Meta/Tactic/Simp/Rewrite.olean +lib/lean/Lean/Meta/Tactic/Simp/SimpAll.ilean +lib/lean/Lean/Meta/Tactic/Simp/SimpAll.olean +lib/lean/Lean/Meta/Tactic/Simp/SimpCongrTheorems.ilean +lib/lean/Lean/Meta/Tactic/Simp/SimpCongrTheorems.olean +lib/lean/Lean/Meta/Tactic/Simp/SimpTheorems.ilean +lib/lean/Lean/Meta/Tactic/Simp/SimpTheorems.olean +lib/lean/Lean/Meta/Tactic/Simp/Types.ilean +lib/lean/Lean/Meta/Tactic/Simp/Types.olean +lib/lean/Lean/Meta/Tactic/Split.ilean +lib/lean/Lean/Meta/Tactic/Split.olean +lib/lean/Lean/Meta/Tactic/SplitIf.ilean +lib/lean/Lean/Meta/Tactic/SplitIf.olean +lib/lean/Lean/Meta/Tactic/Subst.ilean +lib/lean/Lean/Meta/Tactic/Subst.olean +lib/lean/Lean/Meta/Tactic/Unfold.ilean +lib/lean/Lean/Meta/Tactic/Unfold.olean +lib/lean/Lean/Meta/Tactic/UnifyEq.ilean +lib/lean/Lean/Meta/Tactic/UnifyEq.olean +lib/lean/Lean/Meta/Tactic/Util.ilean +lib/lean/Lean/Meta/Tactic/Util.olean +lib/lean/Lean/Meta/Transform.ilean +lib/lean/Lean/Meta/Transform.olean +lib/lean/Lean/Meta/TransparencyMode.ilean +lib/lean/Lean/Meta/TransparencyMode.olean +lib/lean/Lean/Meta/UnificationHint.ilean +lib/lean/Lean/Meta/UnificationHint.olean +lib/lean/Lean/Meta/WHNF.ilean +lib/lean/Lean/Meta/WHNF.olean +lib/lean/Lean/MetavarContext.ilean +lib/lean/Lean/MetavarContext.olean +lib/lean/Lean/Modifiers.ilean +lib/lean/Lean/Modifiers.olean +lib/lean/Lean/MonadEnv.ilean +lib/lean/Lean/MonadEnv.olean +lib/lean/Lean/Parser.ilean +lib/lean/Lean/Parser.olean +lib/lean/Lean/Parser/Attr.ilean +lib/lean/Lean/Parser/Attr.olean +lib/lean/Lean/Parser/Basic.ilean +lib/lean/Lean/Parser/Basic.olean +lib/lean/Lean/Parser/Command.ilean +lib/lean/Lean/Parser/Command.olean +lib/lean/Lean/Parser/Do.ilean +lib/lean/Lean/Parser/Do.olean +lib/lean/Lean/Parser/Extension.ilean +lib/lean/Lean/Parser/Extension.olean +lib/lean/Lean/Parser/Extra.ilean +lib/lean/Lean/Parser/Extra.olean +lib/lean/Lean/Parser/Level.ilean +lib/lean/Lean/Parser/Level.olean +lib/lean/Lean/Parser/Module.ilean +lib/lean/Lean/Parser/Module.olean +lib/lean/Lean/Parser/StrInterpolation.ilean +lib/lean/Lean/Parser/StrInterpolation.olean +lib/lean/Lean/Parser/Syntax.ilean +lib/lean/Lean/Parser/Syntax.olean +lib/lean/Lean/Parser/Tactic.ilean +lib/lean/Lean/Parser/Tactic.olean +lib/lean/Lean/Parser/Term.ilean +lib/lean/Lean/Parser/Term.olean +lib/lean/Lean/Parser/Types.ilean +lib/lean/Lean/Parser/Types.olean +lib/lean/Lean/ParserCompiler.ilean +lib/lean/Lean/ParserCompiler.olean +lib/lean/Lean/ParserCompiler/Attribute.ilean +lib/lean/Lean/ParserCompiler/Attribute.olean +lib/lean/Lean/PrettyPrinter.ilean +lib/lean/Lean/PrettyPrinter.olean +lib/lean/Lean/PrettyPrinter/Basic.ilean +lib/lean/Lean/PrettyPrinter/Basic.olean +lib/lean/Lean/PrettyPrinter/Delaborator.ilean +lib/lean/Lean/PrettyPrinter/Delaborator.olean +lib/lean/Lean/PrettyPrinter/Delaborator/Basic.ilean +lib/lean/Lean/PrettyPrinter/Delaborator/Basic.olean +lib/lean/Lean/PrettyPrinter/Delaborator/Builtins.ilean +lib/lean/Lean/PrettyPrinter/Delaborator/Builtins.olean +lib/lean/Lean/PrettyPrinter/Delaborator/Options.ilean +lib/lean/Lean/PrettyPrinter/Delaborator/Options.olean +lib/lean/Lean/PrettyPrinter/Delaborator/SubExpr.ilean +lib/lean/Lean/PrettyPrinter/Delaborator/SubExpr.olean +lib/lean/Lean/PrettyPrinter/Delaborator/TopDownAnalyze.ilean +lib/lean/Lean/PrettyPrinter/Delaborator/TopDownAnalyze.olean +lib/lean/Lean/PrettyPrinter/Formatter.ilean +lib/lean/Lean/PrettyPrinter/Formatter.olean +lib/lean/Lean/PrettyPrinter/Parenthesizer.ilean +lib/lean/Lean/PrettyPrinter/Parenthesizer.olean +lib/lean/Lean/ProjFns.ilean +lib/lean/Lean/ProjFns.olean +lib/lean/Lean/ReducibilityAttrs.ilean +lib/lean/Lean/ReducibilityAttrs.olean +lib/lean/Lean/Replay.ilean +lib/lean/Lean/Replay.olean +lib/lean/Lean/ResolveName.ilean +lib/lean/Lean/ResolveName.olean +lib/lean/Lean/Runtime.ilean +lib/lean/Lean/Runtime.olean +lib/lean/Lean/ScopedEnvExtension.ilean +lib/lean/Lean/ScopedEnvExtension.olean +lib/lean/Lean/Server.ilean +lib/lean/Lean/Server.olean +lib/lean/Lean/Server/AsyncList.ilean +lib/lean/Lean/Server/AsyncList.olean +lib/lean/Lean/Server/CodeActions.ilean +lib/lean/Lean/Server/CodeActions.olean +lib/lean/Lean/Server/Completion.ilean +lib/lean/Lean/Server/Completion.olean +lib/lean/Lean/Server/FileSource.ilean +lib/lean/Lean/Server/FileSource.olean +lib/lean/Lean/Server/FileWorker.ilean +lib/lean/Lean/Server/FileWorker.olean +lib/lean/Lean/Server/FileWorker/RequestHandling.ilean +lib/lean/Lean/Server/FileWorker/RequestHandling.olean +lib/lean/Lean/Server/FileWorker/SetupFile.ilean +lib/lean/Lean/Server/FileWorker/SetupFile.olean +lib/lean/Lean/Server/FileWorker/Utils.ilean +lib/lean/Lean/Server/FileWorker/Utils.olean +lib/lean/Lean/Server/FileWorker/WidgetRequests.ilean +lib/lean/Lean/Server/FileWorker/WidgetRequests.olean +lib/lean/Lean/Server/GoTo.ilean +lib/lean/Lean/Server/GoTo.olean +lib/lean/Lean/Server/ImportCompletion.ilean +lib/lean/Lean/Server/ImportCompletion.olean +lib/lean/Lean/Server/InfoUtils.ilean +lib/lean/Lean/Server/InfoUtils.olean +lib/lean/Lean/Server/References.ilean +lib/lean/Lean/Server/References.olean +lib/lean/Lean/Server/Requests.ilean +lib/lean/Lean/Server/Requests.olean +lib/lean/Lean/Server/Rpc.ilean +lib/lean/Lean/Server/Rpc.olean +lib/lean/Lean/Server/Rpc/Basic.ilean +lib/lean/Lean/Server/Rpc/Basic.olean +lib/lean/Lean/Server/Rpc/Deriving.ilean +lib/lean/Lean/Server/Rpc/Deriving.olean +lib/lean/Lean/Server/Rpc/RequestHandling.ilean +lib/lean/Lean/Server/Rpc/RequestHandling.olean +lib/lean/Lean/Server/Snapshots.ilean +lib/lean/Lean/Server/Snapshots.olean +lib/lean/Lean/Server/Utils.ilean +lib/lean/Lean/Server/Utils.olean +lib/lean/Lean/Server/Watchdog.ilean +lib/lean/Lean/Server/Watchdog.olean +lib/lean/Lean/Structure.ilean +lib/lean/Lean/Structure.olean +lib/lean/Lean/SubExpr.ilean +lib/lean/Lean/SubExpr.olean +lib/lean/Lean/Syntax.ilean +lib/lean/Lean/Syntax.olean +lib/lean/Lean/ToExpr.ilean +lib/lean/Lean/ToExpr.olean +lib/lean/Lean/Util.ilean +lib/lean/Lean/Util.olean +lib/lean/Lean/Util/CollectFVars.ilean +lib/lean/Lean/Util/CollectFVars.olean +lib/lean/Lean/Util/CollectLevelParams.ilean +lib/lean/Lean/Util/CollectLevelParams.olean +lib/lean/Lean/Util/CollectMVars.ilean +lib/lean/Lean/Util/CollectMVars.olean +lib/lean/Lean/Util/FileSetupInfo.ilean +lib/lean/Lean/Util/FileSetupInfo.olean +lib/lean/Lean/Util/FindExpr.ilean +lib/lean/Lean/Util/FindExpr.olean +lib/lean/Lean/Util/FindLevelMVar.ilean +lib/lean/Lean/Util/FindLevelMVar.olean +lib/lean/Lean/Util/FindMVar.ilean +lib/lean/Lean/Util/FindMVar.olean +lib/lean/Lean/Util/FoldConsts.ilean +lib/lean/Lean/Util/FoldConsts.olean +lib/lean/Lean/Util/ForEachExpr.ilean +lib/lean/Lean/Util/ForEachExpr.olean +lib/lean/Lean/Util/ForEachExprWhere.ilean +lib/lean/Lean/Util/ForEachExprWhere.olean +lib/lean/Lean/Util/HasConstCache.ilean +lib/lean/Lean/Util/HasConstCache.olean +lib/lean/Lean/Util/InstantiateLevelParams.ilean +lib/lean/Lean/Util/InstantiateLevelParams.olean +lib/lean/Lean/Util/LakePath.ilean +lib/lean/Lean/Util/LakePath.olean +lib/lean/Lean/Util/LeanOptions.ilean +lib/lean/Lean/Util/LeanOptions.olean +lib/lean/Lean/Util/MonadBacktrack.ilean +lib/lean/Lean/Util/MonadBacktrack.olean +lib/lean/Lean/Util/MonadCache.ilean +lib/lean/Lean/Util/MonadCache.olean +lib/lean/Lean/Util/OccursCheck.ilean +lib/lean/Lean/Util/OccursCheck.olean +lib/lean/Lean/Util/PPExt.ilean +lib/lean/Lean/Util/PPExt.olean +lib/lean/Lean/Util/Path.ilean +lib/lean/Lean/Util/Path.olean +lib/lean/Lean/Util/Paths.ilean +lib/lean/Lean/Util/Paths.olean +lib/lean/Lean/Util/Profile.ilean +lib/lean/Lean/Util/Profile.olean +lib/lean/Lean/Util/PtrSet.ilean +lib/lean/Lean/Util/PtrSet.olean +lib/lean/Lean/Util/RecDepth.ilean +lib/lean/Lean/Util/RecDepth.olean +lib/lean/Lean/Util/Recognizers.ilean +lib/lean/Lean/Util/Recognizers.olean +lib/lean/Lean/Util/ReplaceExpr.ilean +lib/lean/Lean/Util/ReplaceExpr.olean +lib/lean/Lean/Util/ReplaceLevel.ilean +lib/lean/Lean/Util/ReplaceLevel.olean +lib/lean/Lean/Util/SCC.ilean +lib/lean/Lean/Util/SCC.olean +lib/lean/Lean/Util/ShareCommon.ilean +lib/lean/Lean/Util/ShareCommon.olean +lib/lean/Lean/Util/Sorry.ilean +lib/lean/Lean/Util/Sorry.olean +lib/lean/Lean/Util/TestExtern.ilean +lib/lean/Lean/Util/TestExtern.olean +lib/lean/Lean/Util/Trace.ilean +lib/lean/Lean/Util/Trace.olean +lib/lean/Lean/Widget.ilean +lib/lean/Lean/Widget.olean +lib/lean/Lean/Widget/Basic.ilean +lib/lean/Lean/Widget/Basic.olean +lib/lean/Lean/Widget/Diff.ilean +lib/lean/Lean/Widget/Diff.olean +lib/lean/Lean/Widget/InteractiveCode.ilean +lib/lean/Lean/Widget/InteractiveCode.olean +lib/lean/Lean/Widget/InteractiveDiagnostic.ilean +lib/lean/Lean/Widget/InteractiveDiagnostic.olean +lib/lean/Lean/Widget/InteractiveGoal.ilean +lib/lean/Lean/Widget/InteractiveGoal.olean +lib/lean/Lean/Widget/TaggedText.ilean +lib/lean/Lean/Widget/TaggedText.olean +lib/lean/Lean/Widget/Types.ilean +lib/lean/Lean/Widget/Types.olean +lib/lean/Lean/Widget/UserWidget.ilean +lib/lean/Lean/Widget/UserWidget.olean +lib/lean/libInit.a +lib/lean/libLake.a +lib/lean/libLean.a +lib/lean/libleancpp.a +lib/lean/libleanrt.a +lib/lean/libleanshared.so +share/lean/lean.mk +%%DATADIR%%/src/lean/Init.lean +%%DATADIR%%/src/lean/Init/Classical.lean +%%DATADIR%%/src/lean/Init/Coe.lean +%%DATADIR%%/src/lean/Init/Control.lean +%%DATADIR%%/src/lean/Init/Control/Basic.lean +%%DATADIR%%/src/lean/Init/Control/EState.lean +%%DATADIR%%/src/lean/Init/Control/Except.lean +%%DATADIR%%/src/lean/Init/Control/ExceptCps.lean +%%DATADIR%%/src/lean/Init/Control/Id.lean +%%DATADIR%%/src/lean/Init/Control/Lawful.lean +%%DATADIR%%/src/lean/Init/Control/Option.lean +%%DATADIR%%/src/lean/Init/Control/Reader.lean +%%DATADIR%%/src/lean/Init/Control/State.lean +%%DATADIR%%/src/lean/Init/Control/StateCps.lean +%%DATADIR%%/src/lean/Init/Control/StateRef.lean +%%DATADIR%%/src/lean/Init/Conv.lean +%%DATADIR%%/src/lean/Init/Core.lean +%%DATADIR%%/src/lean/Init/Data.lean +%%DATADIR%%/src/lean/Init/Data/AC.lean +%%DATADIR%%/src/lean/Init/Data/Array.lean +%%DATADIR%%/src/lean/Init/Data/Array/Basic.lean +%%DATADIR%%/src/lean/Init/Data/Array/BasicAux.lean +%%DATADIR%%/src/lean/Init/Data/Array/BinSearch.lean +%%DATADIR%%/src/lean/Init/Data/Array/DecidableEq.lean +%%DATADIR%%/src/lean/Init/Data/Array/InsertionSort.lean +%%DATADIR%%/src/lean/Init/Data/Array/Mem.lean +%%DATADIR%%/src/lean/Init/Data/Array/QSort.lean +%%DATADIR%%/src/lean/Init/Data/Array/Subarray.lean +%%DATADIR%%/src/lean/Init/Data/Basic.lean +%%DATADIR%%/src/lean/Init/Data/ByteArray.lean +%%DATADIR%%/src/lean/Init/Data/ByteArray/Basic.lean +%%DATADIR%%/src/lean/Init/Data/Channel.lean +%%DATADIR%%/src/lean/Init/Data/Char.lean +%%DATADIR%%/src/lean/Init/Data/Char/Basic.lean +%%DATADIR%%/src/lean/Init/Data/Fin.lean +%%DATADIR%%/src/lean/Init/Data/Fin/Basic.lean +%%DATADIR%%/src/lean/Init/Data/Fin/Log2.lean +%%DATADIR%%/src/lean/Init/Data/Float.lean +%%DATADIR%%/src/lean/Init/Data/FloatArray.lean +%%DATADIR%%/src/lean/Init/Data/FloatArray/Basic.lean +%%DATADIR%%/src/lean/Init/Data/Format.lean +%%DATADIR%%/src/lean/Init/Data/Format/Basic.lean +%%DATADIR%%/src/lean/Init/Data/Format/Instances.lean +%%DATADIR%%/src/lean/Init/Data/Format/Macro.lean +%%DATADIR%%/src/lean/Init/Data/Format/Syntax.lean +%%DATADIR%%/src/lean/Init/Data/Hashable.lean +%%DATADIR%%/src/lean/Init/Data/Int.lean +%%DATADIR%%/src/lean/Init/Data/Int/Basic.lean +%%DATADIR%%/src/lean/Init/Data/List.lean +%%DATADIR%%/src/lean/Init/Data/List/Basic.lean +%%DATADIR%%/src/lean/Init/Data/List/BasicAux.lean +%%DATADIR%%/src/lean/Init/Data/List/Control.lean +%%DATADIR%%/src/lean/Init/Data/Nat.lean +%%DATADIR%%/src/lean/Init/Data/Nat/Basic.lean +%%DATADIR%%/src/lean/Init/Data/Nat/Bitwise.lean +%%DATADIR%%/src/lean/Init/Data/Nat/Control.lean +%%DATADIR%%/src/lean/Init/Data/Nat/Div.lean +%%DATADIR%%/src/lean/Init/Data/Nat/Gcd.lean +%%DATADIR%%/src/lean/Init/Data/Nat/Linear.lean +%%DATADIR%%/src/lean/Init/Data/Nat/Log2.lean +%%DATADIR%%/src/lean/Init/Data/Nat/Power2.lean +%%DATADIR%%/src/lean/Init/Data/Nat/SOM.lean +%%DATADIR%%/src/lean/Init/Data/OfScientific.lean +%%DATADIR%%/src/lean/Init/Data/Option.lean +%%DATADIR%%/src/lean/Init/Data/Option/Basic.lean +%%DATADIR%%/src/lean/Init/Data/Option/BasicAux.lean +%%DATADIR%%/src/lean/Init/Data/Option/Instances.lean +%%DATADIR%%/src/lean/Init/Data/Ord.lean +%%DATADIR%%/src/lean/Init/Data/Prod.lean +%%DATADIR%%/src/lean/Init/Data/Queue.lean +%%DATADIR%%/src/lean/Init/Data/Random.lean +%%DATADIR%%/src/lean/Init/Data/Range.lean +%%DATADIR%%/src/lean/Init/Data/Repr.lean +%%DATADIR%%/src/lean/Init/Data/Stream.lean +%%DATADIR%%/src/lean/Init/Data/String.lean +%%DATADIR%%/src/lean/Init/Data/String/Basic.lean +%%DATADIR%%/src/lean/Init/Data/String/Extra.lean +%%DATADIR%%/src/lean/Init/Data/ToString.lean +%%DATADIR%%/src/lean/Init/Data/ToString/Basic.lean +%%DATADIR%%/src/lean/Init/Data/ToString/Macro.lean +%%DATADIR%%/src/lean/Init/Data/UInt.lean +%%DATADIR%%/src/lean/Init/Data/UInt/Basic.lean +%%DATADIR%%/src/lean/Init/Data/UInt/Log2.lean +%%DATADIR%%/src/lean/Init/Dynamic.lean +%%DATADIR%%/src/lean/Init/Hints.lean +%%DATADIR%%/src/lean/Init/Meta.lean +%%DATADIR%%/src/lean/Init/MetaTypes.lean +%%DATADIR%%/src/lean/Init/Notation.lean +%%DATADIR%%/src/lean/Init/NotationExtra.lean +%%DATADIR%%/src/lean/Init/Prelude.lean +%%DATADIR%%/src/lean/Init/ShareCommon.lean +%%DATADIR%%/src/lean/Init/SimpLemmas.lean +%%DATADIR%%/src/lean/Init/SizeOf.lean +%%DATADIR%%/src/lean/Init/SizeOfLemmas.lean +%%DATADIR%%/src/lean/Init/System.lean +%%DATADIR%%/src/lean/Init/System/FilePath.lean +%%DATADIR%%/src/lean/Init/System/IO.lean +%%DATADIR%%/src/lean/Init/System/IOError.lean +%%DATADIR%%/src/lean/Init/System/Mutex.lean +%%DATADIR%%/src/lean/Init/System/Platform.lean +%%DATADIR%%/src/lean/Init/System/Promise.lean +%%DATADIR%%/src/lean/Init/System/ST.lean +%%DATADIR%%/src/lean/Init/System/Uri.lean +%%DATADIR%%/src/lean/Init/Tactics.lean +%%DATADIR%%/src/lean/Init/Util.lean +%%DATADIR%%/src/lean/Init/WF.lean +%%DATADIR%%/src/lean/Init/WFTactics.lean +%%DATADIR%%/src/lean/Lean.lean +%%DATADIR%%/src/lean/Lean/Attributes.lean +%%DATADIR%%/src/lean/Lean/AuxRecursor.lean +%%DATADIR%%/src/lean/Lean/Class.lean +%%DATADIR%%/src/lean/Lean/Compiler.lean +%%DATADIR%%/src/lean/Lean/Compiler/AtMostOnce.lean +%%DATADIR%%/src/lean/Lean/Compiler/BorrowedAnnotation.lean +%%DATADIR%%/src/lean/Lean/Compiler/CSimpAttr.lean +%%DATADIR%%/src/lean/Lean/Compiler/ClosedTermCache.lean +%%DATADIR%%/src/lean/Lean/Compiler/ConstFolding.lean +%%DATADIR%%/src/lean/Lean/Compiler/ExportAttr.lean +%%DATADIR%%/src/lean/Lean/Compiler/ExternAttr.lean +%%DATADIR%%/src/lean/Lean/Compiler/FFI.lean +%%DATADIR%%/src/lean/Lean/Compiler/IR.lean +%%DATADIR%%/src/lean/Lean/Compiler/IR/Basic.lean +%%DATADIR%%/src/lean/Lean/Compiler/IR/Borrow.lean +%%DATADIR%%/src/lean/Lean/Compiler/IR/Boxing.lean +%%DATADIR%%/src/lean/Lean/Compiler/IR/Checker.lean +%%DATADIR%%/src/lean/Lean/Compiler/IR/CompilerM.lean +%%DATADIR%%/src/lean/Lean/Compiler/IR/CtorLayout.lean +%%DATADIR%%/src/lean/Lean/Compiler/IR/ElimDeadBranches.lean +%%DATADIR%%/src/lean/Lean/Compiler/IR/ElimDeadVars.lean +%%DATADIR%%/src/lean/Lean/Compiler/IR/EmitC.lean +%%DATADIR%%/src/lean/Lean/Compiler/IR/EmitLLVM.lean +%%DATADIR%%/src/lean/Lean/Compiler/IR/EmitUtil.lean +%%DATADIR%%/src/lean/Lean/Compiler/IR/ExpandResetReuse.lean +%%DATADIR%%/src/lean/Lean/Compiler/IR/Format.lean +%%DATADIR%%/src/lean/Lean/Compiler/IR/FreeVars.lean +%%DATADIR%%/src/lean/Lean/Compiler/IR/LLVMBindings.lean +%%DATADIR%%/src/lean/Lean/Compiler/IR/LiveVars.lean +%%DATADIR%%/src/lean/Lean/Compiler/IR/NormIds.lean +%%DATADIR%%/src/lean/Lean/Compiler/IR/PushProj.lean +%%DATADIR%%/src/lean/Lean/Compiler/IR/RC.lean +%%DATADIR%%/src/lean/Lean/Compiler/IR/ResetReuse.lean +%%DATADIR%%/src/lean/Lean/Compiler/IR/SimpCase.lean +%%DATADIR%%/src/lean/Lean/Compiler/IR/Sorry.lean +%%DATADIR%%/src/lean/Lean/Compiler/IR/UnboxResult.lean +%%DATADIR%%/src/lean/Lean/Compiler/ImplementedByAttr.lean +%%DATADIR%%/src/lean/Lean/Compiler/InitAttr.lean +%%DATADIR%%/src/lean/Lean/Compiler/InlineAttrs.lean +%%DATADIR%%/src/lean/Lean/Compiler/LCNF.lean +%%DATADIR%%/src/lean/Lean/Compiler/LCNF/AlphaEqv.lean +%%DATADIR%%/src/lean/Lean/Compiler/LCNF/AuxDeclCache.lean +%%DATADIR%%/src/lean/Lean/Compiler/LCNF/BaseTypes.lean +%%DATADIR%%/src/lean/Lean/Compiler/LCNF/Basic.lean +%%DATADIR%%/src/lean/Lean/Compiler/LCNF/Bind.lean +%%DATADIR%%/src/lean/Lean/Compiler/LCNF/CSE.lean +%%DATADIR%%/src/lean/Lean/Compiler/LCNF/Check.lean +%%DATADIR%%/src/lean/Lean/Compiler/LCNF/Closure.lean +%%DATADIR%%/src/lean/Lean/Compiler/LCNF/CompatibleTypes.lean +%%DATADIR%%/src/lean/Lean/Compiler/LCNF/CompilerM.lean +%%DATADIR%%/src/lean/Lean/Compiler/LCNF/ConfigOptions.lean +%%DATADIR%%/src/lean/Lean/Compiler/LCNF/DeclHash.lean +%%DATADIR%%/src/lean/Lean/Compiler/LCNF/DependsOn.lean +%%DATADIR%%/src/lean/Lean/Compiler/LCNF/ElimDead.lean +%%DATADIR%%/src/lean/Lean/Compiler/LCNF/ElimDeadBranches.lean +%%DATADIR%%/src/lean/Lean/Compiler/LCNF/FVarUtil.lean +%%DATADIR%%/src/lean/Lean/Compiler/LCNF/FixedParams.lean +%%DATADIR%%/src/lean/Lean/Compiler/LCNF/FloatLetIn.lean +%%DATADIR%%/src/lean/Lean/Compiler/LCNF/ForEachExpr.lean +%%DATADIR%%/src/lean/Lean/Compiler/LCNF/InferType.lean +%%DATADIR%%/src/lean/Lean/Compiler/LCNF/Internalize.lean +%%DATADIR%%/src/lean/Lean/Compiler/LCNF/JoinPoints.lean +%%DATADIR%%/src/lean/Lean/Compiler/LCNF/LCtx.lean +%%DATADIR%%/src/lean/Lean/Compiler/LCNF/LambdaLifting.lean +%%DATADIR%%/src/lean/Lean/Compiler/LCNF/Level.lean +%%DATADIR%%/src/lean/Lean/Compiler/LCNF/Main.lean +%%DATADIR%%/src/lean/Lean/Compiler/LCNF/MonadScope.lean +%%DATADIR%%/src/lean/Lean/Compiler/LCNF/MonoTypes.lean +%%DATADIR%%/src/lean/Lean/Compiler/LCNF/OtherDecl.lean +%%DATADIR%%/src/lean/Lean/Compiler/LCNF/PassManager.lean +%%DATADIR%%/src/lean/Lean/Compiler/LCNF/Passes.lean +%%DATADIR%%/src/lean/Lean/Compiler/LCNF/PhaseExt.lean +%%DATADIR%%/src/lean/Lean/Compiler/LCNF/PrettyPrinter.lean +%%DATADIR%%/src/lean/Lean/Compiler/LCNF/Probing.lean +%%DATADIR%%/src/lean/Lean/Compiler/LCNF/PullFunDecls.lean +%%DATADIR%%/src/lean/Lean/Compiler/LCNF/PullLetDecls.lean +%%DATADIR%%/src/lean/Lean/Compiler/LCNF/ReduceArity.lean +%%DATADIR%%/src/lean/Lean/Compiler/LCNF/ReduceJpArity.lean +%%DATADIR%%/src/lean/Lean/Compiler/LCNF/Renaming.lean +%%DATADIR%%/src/lean/Lean/Compiler/LCNF/ScopeM.lean +%%DATADIR%%/src/lean/Lean/Compiler/LCNF/Simp.lean +%%DATADIR%%/src/lean/Lean/Compiler/LCNF/Simp/Basic.lean +%%DATADIR%%/src/lean/Lean/Compiler/LCNF/Simp/Config.lean +%%DATADIR%%/src/lean/Lean/Compiler/LCNF/Simp/ConstantFold.lean +%%DATADIR%%/src/lean/Lean/Compiler/LCNF/Simp/DefaultAlt.lean +%%DATADIR%%/src/lean/Lean/Compiler/LCNF/Simp/DiscrM.lean +%%DATADIR%%/src/lean/Lean/Compiler/LCNF/Simp/FunDeclInfo.lean +%%DATADIR%%/src/lean/Lean/Compiler/LCNF/Simp/InlineCandidate.lean +%%DATADIR%%/src/lean/Lean/Compiler/LCNF/Simp/InlineProj.lean +%%DATADIR%%/src/lean/Lean/Compiler/LCNF/Simp/JpCases.lean +%%DATADIR%%/src/lean/Lean/Compiler/LCNF/Simp/Main.lean +%%DATADIR%%/src/lean/Lean/Compiler/LCNF/Simp/SimpM.lean +%%DATADIR%%/src/lean/Lean/Compiler/LCNF/Simp/SimpValue.lean +%%DATADIR%%/src/lean/Lean/Compiler/LCNF/Simp/Used.lean +%%DATADIR%%/src/lean/Lean/Compiler/LCNF/SpecInfo.lean +%%DATADIR%%/src/lean/Lean/Compiler/LCNF/Specialize.lean +%%DATADIR%%/src/lean/Lean/Compiler/LCNF/Testing.lean +%%DATADIR%%/src/lean/Lean/Compiler/LCNF/ToDecl.lean +%%DATADIR%%/src/lean/Lean/Compiler/LCNF/ToExpr.lean +%%DATADIR%%/src/lean/Lean/Compiler/LCNF/ToLCNF.lean +%%DATADIR%%/src/lean/Lean/Compiler/LCNF/ToMono.lean +%%DATADIR%%/src/lean/Lean/Compiler/LCNF/Types.lean +%%DATADIR%%/src/lean/Lean/Compiler/LCNF/Util.lean +%%DATADIR%%/src/lean/Lean/Compiler/Main.lean +%%DATADIR%%/src/lean/Lean/Compiler/NameMangling.lean +%%DATADIR%%/src/lean/Lean/Compiler/NeverExtractAttr.lean +%%DATADIR%%/src/lean/Lean/Compiler/NoncomputableAttr.lean +%%DATADIR%%/src/lean/Lean/Compiler/Old.lean +%%DATADIR%%/src/lean/Lean/Compiler/Options.lean +%%DATADIR%%/src/lean/Lean/Compiler/Specialize.lean +%%DATADIR%%/src/lean/Lean/CoreM.lean +%%DATADIR%%/src/lean/Lean/Data.lean +%%DATADIR%%/src/lean/Lean/Data/Array.lean +%%DATADIR%%/src/lean/Lean/Data/AssocList.lean +%%DATADIR%%/src/lean/Lean/Data/Format.lean +%%DATADIR%%/src/lean/Lean/Data/FuzzyMatching.lean +%%DATADIR%%/src/lean/Lean/Data/HashMap.lean +%%DATADIR%%/src/lean/Lean/Data/HashSet.lean +%%DATADIR%%/src/lean/Lean/Data/Json.lean +%%DATADIR%%/src/lean/Lean/Data/Json/Basic.lean +%%DATADIR%%/src/lean/Lean/Data/Json/FromToJson.lean +%%DATADIR%%/src/lean/Lean/Data/Json/Parser.lean +%%DATADIR%%/src/lean/Lean/Data/Json/Printer.lean +%%DATADIR%%/src/lean/Lean/Data/Json/Stream.lean +%%DATADIR%%/src/lean/Lean/Data/JsonRpc.lean +%%DATADIR%%/src/lean/Lean/Data/KVMap.lean +%%DATADIR%%/src/lean/Lean/Data/LBool.lean +%%DATADIR%%/src/lean/Lean/Data/LOption.lean +%%DATADIR%%/src/lean/Lean/Data/Lsp.lean +%%DATADIR%%/src/lean/Lean/Data/Lsp/Basic.lean +%%DATADIR%%/src/lean/Lean/Data/Lsp/Capabilities.lean +%%DATADIR%%/src/lean/Lean/Data/Lsp/Client.lean +%%DATADIR%%/src/lean/Lean/Data/Lsp/CodeActions.lean +%%DATADIR%%/src/lean/Lean/Data/Lsp/Communication.lean +%%DATADIR%%/src/lean/Lean/Data/Lsp/Diagnostics.lean +%%DATADIR%%/src/lean/Lean/Data/Lsp/Extra.lean +%%DATADIR%%/src/lean/Lean/Data/Lsp/InitShutdown.lean +%%DATADIR%%/src/lean/Lean/Data/Lsp/Internal.lean +%%DATADIR%%/src/lean/Lean/Data/Lsp/Ipc.lean +%%DATADIR%%/src/lean/Lean/Data/Lsp/LanguageFeatures.lean +%%DATADIR%%/src/lean/Lean/Data/Lsp/TextSync.lean +%%DATADIR%%/src/lean/Lean/Data/Lsp/Utf16.lean +%%DATADIR%%/src/lean/Lean/Data/Lsp/Workspace.lean +%%DATADIR%%/src/lean/Lean/Data/Name.lean +%%DATADIR%%/src/lean/Lean/Data/NameMap.lean +%%DATADIR%%/src/lean/Lean/Data/NameTrie.lean +%%DATADIR%%/src/lean/Lean/Data/OpenDecl.lean +%%DATADIR%%/src/lean/Lean/Data/Options.lean +%%DATADIR%%/src/lean/Lean/Data/Parsec.lean +%%DATADIR%%/src/lean/Lean/Data/PersistentArray.lean +%%DATADIR%%/src/lean/Lean/Data/PersistentHashMap.lean +%%DATADIR%%/src/lean/Lean/Data/PersistentHashSet.lean +%%DATADIR%%/src/lean/Lean/Data/Position.lean +%%DATADIR%%/src/lean/Lean/Data/PrefixTree.lean +%%DATADIR%%/src/lean/Lean/Data/RBMap.lean +%%DATADIR%%/src/lean/Lean/Data/RBTree.lean +%%DATADIR%%/src/lean/Lean/Data/Rat.lean +%%DATADIR%%/src/lean/Lean/Data/SMap.lean +%%DATADIR%%/src/lean/Lean/Data/SSet.lean +%%DATADIR%%/src/lean/Lean/Data/Trie.lean +%%DATADIR%%/src/lean/Lean/Data/Xml.lean +%%DATADIR%%/src/lean/Lean/Data/Xml/Basic.lean +%%DATADIR%%/src/lean/Lean/Data/Xml/Parser.lean +%%DATADIR%%/src/lean/Lean/Declaration.lean +%%DATADIR%%/src/lean/Lean/DeclarationRange.lean +%%DATADIR%%/src/lean/Lean/DocString.lean +%%DATADIR%%/src/lean/Lean/Elab.lean +%%DATADIR%%/src/lean/Lean/Elab/App.lean +%%DATADIR%%/src/lean/Lean/Elab/Arg.lean +%%DATADIR%%/src/lean/Lean/Elab/Attributes.lean +%%DATADIR%%/src/lean/Lean/Elab/AutoBound.lean +%%DATADIR%%/src/lean/Lean/Elab/AuxDef.lean +%%DATADIR%%/src/lean/Lean/Elab/Binders.lean +%%DATADIR%%/src/lean/Lean/Elab/BindersUtil.lean +%%DATADIR%%/src/lean/Lean/Elab/BuiltinCommand.lean +%%DATADIR%%/src/lean/Lean/Elab/BuiltinNotation.lean +%%DATADIR%%/src/lean/Lean/Elab/BuiltinTerm.lean +%%DATADIR%%/src/lean/Lean/Elab/Calc.lean +%%DATADIR%%/src/lean/Lean/Elab/Command.lean +%%DATADIR%%/src/lean/Lean/Elab/ComputedFields.lean +%%DATADIR%%/src/lean/Lean/Elab/Config.lean +%%DATADIR%%/src/lean/Lean/Elab/DeclModifiers.lean +%%DATADIR%%/src/lean/Lean/Elab/DeclUtil.lean +%%DATADIR%%/src/lean/Lean/Elab/Declaration.lean +%%DATADIR%%/src/lean/Lean/Elab/DeclarationRange.lean +%%DATADIR%%/src/lean/Lean/Elab/DefView.lean +%%DATADIR%%/src/lean/Lean/Elab/Deriving.lean +%%DATADIR%%/src/lean/Lean/Elab/Deriving/BEq.lean +%%DATADIR%%/src/lean/Lean/Elab/Deriving/Basic.lean +%%DATADIR%%/src/lean/Lean/Elab/Deriving/DecEq.lean +%%DATADIR%%/src/lean/Lean/Elab/Deriving/FromToJson.lean +%%DATADIR%%/src/lean/Lean/Elab/Deriving/Hashable.lean +%%DATADIR%%/src/lean/Lean/Elab/Deriving/Inhabited.lean +%%DATADIR%%/src/lean/Lean/Elab/Deriving/Nonempty.lean +%%DATADIR%%/src/lean/Lean/Elab/Deriving/Ord.lean +%%DATADIR%%/src/lean/Lean/Elab/Deriving/Repr.lean +%%DATADIR%%/src/lean/Lean/Elab/Deriving/SizeOf.lean +%%DATADIR%%/src/lean/Lean/Elab/Deriving/TypeName.lean +%%DATADIR%%/src/lean/Lean/Elab/Deriving/Util.lean +%%DATADIR%%/src/lean/Lean/Elab/Do.lean +%%DATADIR%%/src/lean/Lean/Elab/ElabRules.lean +%%DATADIR%%/src/lean/Lean/Elab/Eval.lean +%%DATADIR%%/src/lean/Lean/Elab/Exception.lean +%%DATADIR%%/src/lean/Lean/Elab/Extra.lean +%%DATADIR%%/src/lean/Lean/Elab/Frontend.lean +%%DATADIR%%/src/lean/Lean/Elab/GenInjective.lean +%%DATADIR%%/src/lean/Lean/Elab/Import.lean +%%DATADIR%%/src/lean/Lean/Elab/Inductive.lean +%%DATADIR%%/src/lean/Lean/Elab/InfoTree.lean +%%DATADIR%%/src/lean/Lean/Elab/InfoTree/Main.lean +%%DATADIR%%/src/lean/Lean/Elab/InfoTree/Types.lean +%%DATADIR%%/src/lean/Lean/Elab/InheritDoc.lean +%%DATADIR%%/src/lean/Lean/Elab/LetRec.lean +%%DATADIR%%/src/lean/Lean/Elab/Level.lean +%%DATADIR%%/src/lean/Lean/Elab/Macro.lean +%%DATADIR%%/src/lean/Lean/Elab/MacroArgUtil.lean +%%DATADIR%%/src/lean/Lean/Elab/MacroRules.lean +%%DATADIR%%/src/lean/Lean/Elab/Match.lean +%%DATADIR%%/src/lean/Lean/Elab/MatchAltView.lean +%%DATADIR%%/src/lean/Lean/Elab/Mixfix.lean +%%DATADIR%%/src/lean/Lean/Elab/MutualDef.lean +%%DATADIR%%/src/lean/Lean/Elab/Notation.lean +%%DATADIR%%/src/lean/Lean/Elab/Open.lean +%%DATADIR%%/src/lean/Lean/Elab/ParseImportsFast.lean +%%DATADIR%%/src/lean/Lean/Elab/PatternVar.lean +%%DATADIR%%/src/lean/Lean/Elab/PreDefinition.lean +%%DATADIR%%/src/lean/Lean/Elab/PreDefinition/Basic.lean +%%DATADIR%%/src/lean/Lean/Elab/PreDefinition/Eqns.lean +%%DATADIR%%/src/lean/Lean/Elab/PreDefinition/Main.lean +%%DATADIR%%/src/lean/Lean/Elab/PreDefinition/MkInhabitant.lean +%%DATADIR%%/src/lean/Lean/Elab/PreDefinition/Structural.lean +%%DATADIR%%/src/lean/Lean/Elab/PreDefinition/Structural/BRecOn.lean +%%DATADIR%%/src/lean/Lean/Elab/PreDefinition/Structural/Basic.lean +%%DATADIR%%/src/lean/Lean/Elab/PreDefinition/Structural/Eqns.lean +%%DATADIR%%/src/lean/Lean/Elab/PreDefinition/Structural/FindRecArg.lean +%%DATADIR%%/src/lean/Lean/Elab/PreDefinition/Structural/IndPred.lean +%%DATADIR%%/src/lean/Lean/Elab/PreDefinition/Structural/Main.lean +%%DATADIR%%/src/lean/Lean/Elab/PreDefinition/Structural/Preprocess.lean +%%DATADIR%%/src/lean/Lean/Elab/PreDefinition/Structural/SmartUnfolding.lean +%%DATADIR%%/src/lean/Lean/Elab/PreDefinition/WF.lean +%%DATADIR%%/src/lean/Lean/Elab/PreDefinition/WF/Eqns.lean +%%DATADIR%%/src/lean/Lean/Elab/PreDefinition/WF/Fix.lean +%%DATADIR%%/src/lean/Lean/Elab/PreDefinition/WF/GuessLex.lean +%%DATADIR%%/src/lean/Lean/Elab/PreDefinition/WF/Ite.lean +%%DATADIR%%/src/lean/Lean/Elab/PreDefinition/WF/Main.lean +%%DATADIR%%/src/lean/Lean/Elab/PreDefinition/WF/PackDomain.lean +%%DATADIR%%/src/lean/Lean/Elab/PreDefinition/WF/PackMutual.lean +%%DATADIR%%/src/lean/Lean/Elab/PreDefinition/WF/Preprocess.lean +%%DATADIR%%/src/lean/Lean/Elab/PreDefinition/WF/Rel.lean +%%DATADIR%%/src/lean/Lean/Elab/PreDefinition/WF/TerminationHint.lean +%%DATADIR%%/src/lean/Lean/Elab/Print.lean +%%DATADIR%%/src/lean/Lean/Elab/Quotation.lean +%%DATADIR%%/src/lean/Lean/Elab/Quotation/Precheck.lean +%%DATADIR%%/src/lean/Lean/Elab/Quotation/Util.lean +%%DATADIR%%/src/lean/Lean/Elab/RecAppSyntax.lean +%%DATADIR%%/src/lean/Lean/Elab/SetOption.lean +%%DATADIR%%/src/lean/Lean/Elab/StructInst.lean +%%DATADIR%%/src/lean/Lean/Elab/Structure.lean +%%DATADIR%%/src/lean/Lean/Elab/Syntax.lean +%%DATADIR%%/src/lean/Lean/Elab/SyntheticMVars.lean +%%DATADIR%%/src/lean/Lean/Elab/Tactic.lean +%%DATADIR%%/src/lean/Lean/Elab/Tactic/Basic.lean +%%DATADIR%%/src/lean/Lean/Elab/Tactic/BuiltinTactic.lean +%%DATADIR%%/src/lean/Lean/Elab/Tactic/Cache.lean +%%DATADIR%%/src/lean/Lean/Elab/Tactic/Calc.lean +%%DATADIR%%/src/lean/Lean/Elab/Tactic/Config.lean +%%DATADIR%%/src/lean/Lean/Elab/Tactic/Congr.lean +%%DATADIR%%/src/lean/Lean/Elab/Tactic/Conv.lean +%%DATADIR%%/src/lean/Lean/Elab/Tactic/Conv/Basic.lean +%%DATADIR%%/src/lean/Lean/Elab/Tactic/Conv/Change.lean +%%DATADIR%%/src/lean/Lean/Elab/Tactic/Conv/Congr.lean +%%DATADIR%%/src/lean/Lean/Elab/Tactic/Conv/Delta.lean +%%DATADIR%%/src/lean/Lean/Elab/Tactic/Conv/Pattern.lean +%%DATADIR%%/src/lean/Lean/Elab/Tactic/Conv/Rewrite.lean +%%DATADIR%%/src/lean/Lean/Elab/Tactic/Conv/Simp.lean +%%DATADIR%%/src/lean/Lean/Elab/Tactic/Conv/Unfold.lean +%%DATADIR%%/src/lean/Lean/Elab/Tactic/Delta.lean +%%DATADIR%%/src/lean/Lean/Elab/Tactic/ElabTerm.lean +%%DATADIR%%/src/lean/Lean/Elab/Tactic/Generalize.lean +%%DATADIR%%/src/lean/Lean/Elab/Tactic/Induction.lean +%%DATADIR%%/src/lean/Lean/Elab/Tactic/Injection.lean +%%DATADIR%%/src/lean/Lean/Elab/Tactic/Location.lean +%%DATADIR%%/src/lean/Lean/Elab/Tactic/Match.lean +%%DATADIR%%/src/lean/Lean/Elab/Tactic/Meta.lean +%%DATADIR%%/src/lean/Lean/Elab/Tactic/Rewrite.lean +%%DATADIR%%/src/lean/Lean/Elab/Tactic/Simp.lean +%%DATADIR%%/src/lean/Lean/Elab/Tactic/Split.lean +%%DATADIR%%/src/lean/Lean/Elab/Tactic/Unfold.lean +%%DATADIR%%/src/lean/Lean/Elab/Term.lean +%%DATADIR%%/src/lean/Lean/Elab/Util.lean +%%DATADIR%%/src/lean/Lean/Environment.lean +%%DATADIR%%/src/lean/Lean/Eval.lean +%%DATADIR%%/src/lean/Lean/Exception.lean +%%DATADIR%%/src/lean/Lean/Expr.lean +%%DATADIR%%/src/lean/Lean/HeadIndex.lean +%%DATADIR%%/src/lean/Lean/Hygiene.lean +%%DATADIR%%/src/lean/Lean/ImportingFlag.lean +%%DATADIR%%/src/lean/Lean/InternalExceptionId.lean +%%DATADIR%%/src/lean/Lean/KeyedDeclsAttribute.lean +%%DATADIR%%/src/lean/Lean/LazyInitExtension.lean +%%DATADIR%%/src/lean/Lean/Level.lean +%%DATADIR%%/src/lean/Lean/Linter.lean +%%DATADIR%%/src/lean/Lean/Linter/Basic.lean +%%DATADIR%%/src/lean/Lean/Linter/Builtin.lean +%%DATADIR%%/src/lean/Lean/Linter/Deprecated.lean +%%DATADIR%%/src/lean/Lean/Linter/MissingDocs.lean +%%DATADIR%%/src/lean/Lean/Linter/UnusedVariables.lean +%%DATADIR%%/src/lean/Lean/Linter/Util.lean +%%DATADIR%%/src/lean/Lean/LoadDynlib.lean +%%DATADIR%%/src/lean/Lean/LocalContext.lean +%%DATADIR%%/src/lean/Lean/Log.lean +%%DATADIR%%/src/lean/Lean/Message.lean +%%DATADIR%%/src/lean/Lean/Meta.lean +%%DATADIR%%/src/lean/Lean/Meta/ACLt.lean +%%DATADIR%%/src/lean/Lean/Meta/AbstractMVars.lean +%%DATADIR%%/src/lean/Lean/Meta/AbstractNestedProofs.lean +%%DATADIR%%/src/lean/Lean/Meta/AppBuilder.lean +%%DATADIR%%/src/lean/Lean/Meta/Basic.lean +%%DATADIR%%/src/lean/Lean/Meta/CasesOn.lean +%%DATADIR%%/src/lean/Lean/Meta/Check.lean +%%DATADIR%%/src/lean/Lean/Meta/Closure.lean +%%DATADIR%%/src/lean/Lean/Meta/Coe.lean +%%DATADIR%%/src/lean/Lean/Meta/CollectFVars.lean +%%DATADIR%%/src/lean/Lean/Meta/CollectMVars.lean +%%DATADIR%%/src/lean/Lean/Meta/CongrTheorems.lean +%%DATADIR%%/src/lean/Lean/Meta/Constructions.lean +%%DATADIR%%/src/lean/Lean/Meta/DecLevel.lean +%%DATADIR%%/src/lean/Lean/Meta/DiscrTree.lean +%%DATADIR%%/src/lean/Lean/Meta/DiscrTreeTypes.lean +%%DATADIR%%/src/lean/Lean/Meta/Eqns.lean +%%DATADIR%%/src/lean/Lean/Meta/Eval.lean +%%DATADIR%%/src/lean/Lean/Meta/ExprDefEq.lean +%%DATADIR%%/src/lean/Lean/Meta/ExprLens.lean +%%DATADIR%%/src/lean/Lean/Meta/ExprTraverse.lean +%%DATADIR%%/src/lean/Lean/Meta/ForEachExpr.lean +%%DATADIR%%/src/lean/Lean/Meta/FunInfo.lean +%%DATADIR%%/src/lean/Lean/Meta/GeneralizeTelescope.lean +%%DATADIR%%/src/lean/Lean/Meta/GeneralizeVars.lean +%%DATADIR%%/src/lean/Lean/Meta/GetUnfoldableConst.lean +%%DATADIR%%/src/lean/Lean/Meta/GlobalInstances.lean +%%DATADIR%%/src/lean/Lean/Meta/IndPredBelow.lean +%%DATADIR%%/src/lean/Lean/Meta/Inductive.lean +%%DATADIR%%/src/lean/Lean/Meta/InferType.lean +%%DATADIR%%/src/lean/Lean/Meta/Injective.lean +%%DATADIR%%/src/lean/Lean/Meta/Instances.lean +%%DATADIR%%/src/lean/Lean/Meta/KAbstract.lean +%%DATADIR%%/src/lean/Lean/Meta/KExprMap.lean +%%DATADIR%%/src/lean/Lean/Meta/LevelDefEq.lean +%%DATADIR%%/src/lean/Lean/Meta/Match.lean +%%DATADIR%%/src/lean/Lean/Meta/Match/Basic.lean +%%DATADIR%%/src/lean/Lean/Meta/Match/CaseArraySizes.lean +%%DATADIR%%/src/lean/Lean/Meta/Match/CaseValues.lean +%%DATADIR%%/src/lean/Lean/Meta/Match/MVarRenaming.lean +%%DATADIR%%/src/lean/Lean/Meta/Match/Match.lean +%%DATADIR%%/src/lean/Lean/Meta/Match/MatchEqs.lean +%%DATADIR%%/src/lean/Lean/Meta/Match/MatchEqsExt.lean +%%DATADIR%%/src/lean/Lean/Meta/Match/MatchPatternAttr.lean +%%DATADIR%%/src/lean/Lean/Meta/Match/MatcherInfo.lean +%%DATADIR%%/src/lean/Lean/Meta/Match/Value.lean +%%DATADIR%%/src/lean/Lean/Meta/MatchUtil.lean +%%DATADIR%%/src/lean/Lean/Meta/Offset.lean +%%DATADIR%%/src/lean/Lean/Meta/PPGoal.lean +%%DATADIR%%/src/lean/Lean/Meta/RecursorInfo.lean +%%DATADIR%%/src/lean/Lean/Meta/Reduce.lean +%%DATADIR%%/src/lean/Lean/Meta/ReduceEval.lean +%%DATADIR%%/src/lean/Lean/Meta/SizeOf.lean +%%DATADIR%%/src/lean/Lean/Meta/Structure.lean +%%DATADIR%%/src/lean/Lean/Meta/SynthInstance.lean +%%DATADIR%%/src/lean/Lean/Meta/Tactic.lean +%%DATADIR%%/src/lean/Lean/Meta/Tactic/AC.lean +%%DATADIR%%/src/lean/Lean/Meta/Tactic/AC/Main.lean +%%DATADIR%%/src/lean/Lean/Meta/Tactic/Acyclic.lean +%%DATADIR%%/src/lean/Lean/Meta/Tactic/Apply.lean +%%DATADIR%%/src/lean/Lean/Meta/Tactic/Assert.lean +%%DATADIR%%/src/lean/Lean/Meta/Tactic/Assumption.lean +%%DATADIR%%/src/lean/Lean/Meta/Tactic/AuxLemma.lean +%%DATADIR%%/src/lean/Lean/Meta/Tactic/Cases.lean +%%DATADIR%%/src/lean/Lean/Meta/Tactic/Cleanup.lean +%%DATADIR%%/src/lean/Lean/Meta/Tactic/Clear.lean +%%DATADIR%%/src/lean/Lean/Meta/Tactic/Congr.lean +%%DATADIR%%/src/lean/Lean/Meta/Tactic/Constructor.lean +%%DATADIR%%/src/lean/Lean/Meta/Tactic/Contradiction.lean +%%DATADIR%%/src/lean/Lean/Meta/Tactic/Delta.lean +%%DATADIR%%/src/lean/Lean/Meta/Tactic/ElimInfo.lean +%%DATADIR%%/src/lean/Lean/Meta/Tactic/FVarSubst.lean +%%DATADIR%%/src/lean/Lean/Meta/Tactic/Generalize.lean +%%DATADIR%%/src/lean/Lean/Meta/Tactic/Induction.lean +%%DATADIR%%/src/lean/Lean/Meta/Tactic/Injection.lean +%%DATADIR%%/src/lean/Lean/Meta/Tactic/Intro.lean +%%DATADIR%%/src/lean/Lean/Meta/Tactic/LinearArith.lean +%%DATADIR%%/src/lean/Lean/Meta/Tactic/LinearArith/Basic.lean +%%DATADIR%%/src/lean/Lean/Meta/Tactic/LinearArith/Main.lean +%%DATADIR%%/src/lean/Lean/Meta/Tactic/LinearArith/Nat.lean +%%DATADIR%%/src/lean/Lean/Meta/Tactic/LinearArith/Nat/Basic.lean +%%DATADIR%%/src/lean/Lean/Meta/Tactic/LinearArith/Nat/Simp.lean +%%DATADIR%%/src/lean/Lean/Meta/Tactic/LinearArith/Nat/Solver.lean +%%DATADIR%%/src/lean/Lean/Meta/Tactic/LinearArith/Simp.lean +%%DATADIR%%/src/lean/Lean/Meta/Tactic/LinearArith/Solver.lean +%%DATADIR%%/src/lean/Lean/Meta/Tactic/Refl.lean +%%DATADIR%%/src/lean/Lean/Meta/Tactic/Rename.lean +%%DATADIR%%/src/lean/Lean/Meta/Tactic/Replace.lean +%%DATADIR%%/src/lean/Lean/Meta/Tactic/Revert.lean +%%DATADIR%%/src/lean/Lean/Meta/Tactic/Rewrite.lean +%%DATADIR%%/src/lean/Lean/Meta/Tactic/Simp.lean +%%DATADIR%%/src/lean/Lean/Meta/Tactic/Simp/Main.lean +%%DATADIR%%/src/lean/Lean/Meta/Tactic/Simp/Rewrite.lean +%%DATADIR%%/src/lean/Lean/Meta/Tactic/Simp/SimpAll.lean +%%DATADIR%%/src/lean/Lean/Meta/Tactic/Simp/SimpCongrTheorems.lean +%%DATADIR%%/src/lean/Lean/Meta/Tactic/Simp/SimpTheorems.lean +%%DATADIR%%/src/lean/Lean/Meta/Tactic/Simp/Types.lean +%%DATADIR%%/src/lean/Lean/Meta/Tactic/Split.lean +%%DATADIR%%/src/lean/Lean/Meta/Tactic/SplitIf.lean +%%DATADIR%%/src/lean/Lean/Meta/Tactic/Subst.lean +%%DATADIR%%/src/lean/Lean/Meta/Tactic/Unfold.lean +%%DATADIR%%/src/lean/Lean/Meta/Tactic/UnifyEq.lean +%%DATADIR%%/src/lean/Lean/Meta/Tactic/Util.lean +%%DATADIR%%/src/lean/Lean/Meta/Transform.lean +%%DATADIR%%/src/lean/Lean/Meta/TransparencyMode.lean +%%DATADIR%%/src/lean/Lean/Meta/UnificationHint.lean +%%DATADIR%%/src/lean/Lean/Meta/WHNF.lean +%%DATADIR%%/src/lean/Lean/MetavarContext.lean +%%DATADIR%%/src/lean/Lean/Modifiers.lean +%%DATADIR%%/src/lean/Lean/MonadEnv.lean +%%DATADIR%%/src/lean/Lean/Parser.lean +%%DATADIR%%/src/lean/Lean/Parser/Attr.lean +%%DATADIR%%/src/lean/Lean/Parser/Basic.lean +%%DATADIR%%/src/lean/Lean/Parser/Command.lean +%%DATADIR%%/src/lean/Lean/Parser/Do.lean +%%DATADIR%%/src/lean/Lean/Parser/Extension.lean +%%DATADIR%%/src/lean/Lean/Parser/Extra.lean +%%DATADIR%%/src/lean/Lean/Parser/Level.lean +%%DATADIR%%/src/lean/Lean/Parser/Module.lean +%%DATADIR%%/src/lean/Lean/Parser/StrInterpolation.lean +%%DATADIR%%/src/lean/Lean/Parser/Syntax.lean +%%DATADIR%%/src/lean/Lean/Parser/Tactic.lean +%%DATADIR%%/src/lean/Lean/Parser/Term.lean +%%DATADIR%%/src/lean/Lean/Parser/Types.lean +%%DATADIR%%/src/lean/Lean/ParserCompiler.lean +%%DATADIR%%/src/lean/Lean/ParserCompiler/Attribute.lean +%%DATADIR%%/src/lean/Lean/PrettyPrinter.lean +%%DATADIR%%/src/lean/Lean/PrettyPrinter/Basic.lean +%%DATADIR%%/src/lean/Lean/PrettyPrinter/Delaborator.lean +%%DATADIR%%/src/lean/Lean/PrettyPrinter/Delaborator/Basic.lean +%%DATADIR%%/src/lean/Lean/PrettyPrinter/Delaborator/Builtins.lean +%%DATADIR%%/src/lean/Lean/PrettyPrinter/Delaborator/Options.lean +%%DATADIR%%/src/lean/Lean/PrettyPrinter/Delaborator/SubExpr.lean +%%DATADIR%%/src/lean/Lean/PrettyPrinter/Delaborator/TopDownAnalyze.lean +%%DATADIR%%/src/lean/Lean/PrettyPrinter/Formatter.lean +%%DATADIR%%/src/lean/Lean/PrettyPrinter/Parenthesizer.lean +%%DATADIR%%/src/lean/Lean/ProjFns.lean +%%DATADIR%%/src/lean/Lean/ReducibilityAttrs.lean +%%DATADIR%%/src/lean/Lean/Replay.lean +%%DATADIR%%/src/lean/Lean/ResolveName.lean +%%DATADIR%%/src/lean/Lean/Runtime.lean +%%DATADIR%%/src/lean/Lean/ScopedEnvExtension.lean +%%DATADIR%%/src/lean/Lean/Server.lean +%%DATADIR%%/src/lean/Lean/Server/AsyncList.lean +%%DATADIR%%/src/lean/Lean/Server/CodeActions.lean +%%DATADIR%%/src/lean/Lean/Server/Completion.lean +%%DATADIR%%/src/lean/Lean/Server/FileSource.lean +%%DATADIR%%/src/lean/Lean/Server/FileWorker.lean +%%DATADIR%%/src/lean/Lean/Server/FileWorker/RequestHandling.lean +%%DATADIR%%/src/lean/Lean/Server/FileWorker/SetupFile.lean +%%DATADIR%%/src/lean/Lean/Server/FileWorker/Utils.lean +%%DATADIR%%/src/lean/Lean/Server/FileWorker/WidgetRequests.lean +%%DATADIR%%/src/lean/Lean/Server/GoTo.lean +%%DATADIR%%/src/lean/Lean/Server/ImportCompletion.lean +%%DATADIR%%/src/lean/Lean/Server/InfoUtils.lean +%%DATADIR%%/src/lean/Lean/Server/README.md +%%DATADIR%%/src/lean/Lean/Server/References.lean +%%DATADIR%%/src/lean/Lean/Server/Requests.lean +%%DATADIR%%/src/lean/Lean/Server/Rpc.lean +%%DATADIR%%/src/lean/Lean/Server/Rpc/Basic.lean +%%DATADIR%%/src/lean/Lean/Server/Rpc/Deriving.lean +%%DATADIR%%/src/lean/Lean/Server/Rpc/RequestHandling.lean +%%DATADIR%%/src/lean/Lean/Server/Snapshots.lean +%%DATADIR%%/src/lean/Lean/Server/Utils.lean +%%DATADIR%%/src/lean/Lean/Server/Watchdog.lean +%%DATADIR%%/src/lean/Lean/Structure.lean +%%DATADIR%%/src/lean/Lean/SubExpr.lean +%%DATADIR%%/src/lean/Lean/Syntax.lean +%%DATADIR%%/src/lean/Lean/ToExpr.lean +%%DATADIR%%/src/lean/Lean/Util.lean +%%DATADIR%%/src/lean/Lean/Util/CollectFVars.lean +%%DATADIR%%/src/lean/Lean/Util/CollectLevelParams.lean +%%DATADIR%%/src/lean/Lean/Util/CollectMVars.lean +%%DATADIR%%/src/lean/Lean/Util/FileSetupInfo.lean +%%DATADIR%%/src/lean/Lean/Util/FindExpr.lean +%%DATADIR%%/src/lean/Lean/Util/FindLevelMVar.lean +%%DATADIR%%/src/lean/Lean/Util/FindMVar.lean +%%DATADIR%%/src/lean/Lean/Util/FoldConsts.lean +%%DATADIR%%/src/lean/Lean/Util/ForEachExpr.lean +%%DATADIR%%/src/lean/Lean/Util/ForEachExprWhere.lean +%%DATADIR%%/src/lean/Lean/Util/HasConstCache.lean +%%DATADIR%%/src/lean/Lean/Util/InstantiateLevelParams.lean +%%DATADIR%%/src/lean/Lean/Util/LakePath.lean +%%DATADIR%%/src/lean/Lean/Util/LeanOptions.lean +%%DATADIR%%/src/lean/Lean/Util/MonadBacktrack.lean +%%DATADIR%%/src/lean/Lean/Util/MonadCache.lean +%%DATADIR%%/src/lean/Lean/Util/OccursCheck.lean +%%DATADIR%%/src/lean/Lean/Util/PPExt.lean +%%DATADIR%%/src/lean/Lean/Util/Path.lean +%%DATADIR%%/src/lean/Lean/Util/Paths.lean +%%DATADIR%%/src/lean/Lean/Util/Profile.lean +%%DATADIR%%/src/lean/Lean/Util/PtrSet.lean +%%DATADIR%%/src/lean/Lean/Util/RecDepth.lean +%%DATADIR%%/src/lean/Lean/Util/Recognizers.lean +%%DATADIR%%/src/lean/Lean/Util/ReplaceExpr.lean +%%DATADIR%%/src/lean/Lean/Util/ReplaceLevel.lean +%%DATADIR%%/src/lean/Lean/Util/SCC.lean +%%DATADIR%%/src/lean/Lean/Util/ShareCommon.lean +%%DATADIR%%/src/lean/Lean/Util/Sorry.lean +%%DATADIR%%/src/lean/Lean/Util/TestExtern.lean +%%DATADIR%%/src/lean/Lean/Util/Trace.lean +%%DATADIR%%/src/lean/Lean/Widget.lean +%%DATADIR%%/src/lean/Lean/Widget/Basic.lean +%%DATADIR%%/src/lean/Lean/Widget/Diff.lean +%%DATADIR%%/src/lean/Lean/Widget/InteractiveCode.lean +%%DATADIR%%/src/lean/Lean/Widget/InteractiveDiagnostic.lean +%%DATADIR%%/src/lean/Lean/Widget/InteractiveGoal.lean +%%DATADIR%%/src/lean/Lean/Widget/TaggedText.lean +%%DATADIR%%/src/lean/Lean/Widget/Types.lean +%%DATADIR%%/src/lean/Lean/Widget/UserWidget.lean +%%DATADIR%%/src/lean/Leanc.lean +%%DATADIR%%/src/lean/lake/Lake.lean +%%DATADIR%%/src/lean/lake/Lake/Build.lean +%%DATADIR%%/src/lean/lake/Lake/Build/Actions.lean +%%DATADIR%%/src/lean/lake/Lake/Build/Common.lean +%%DATADIR%%/src/lean/lake/Lake/Build/Context.lean +%%DATADIR%%/src/lean/lake/Lake/Build/Data.lean +%%DATADIR%%/src/lean/lake/Lake/Build/Executable.lean +%%DATADIR%%/src/lean/lake/Lake/Build/Facets.lean +%%DATADIR%%/src/lean/lake/Lake/Build/Imports.lean +%%DATADIR%%/src/lean/lake/Lake/Build/Index.lean +%%DATADIR%%/src/lean/lake/Lake/Build/Info.lean +%%DATADIR%%/src/lean/lake/Lake/Build/Job.lean +%%DATADIR%%/src/lean/lake/Lake/Build/Key.lean +%%DATADIR%%/src/lean/lake/Lake/Build/Library.lean +%%DATADIR%%/src/lean/lake/Lake/Build/Module.lean +%%DATADIR%%/src/lean/lake/Lake/Build/Monad.lean +%%DATADIR%%/src/lean/lake/Lake/Build/Package.lean +%%DATADIR%%/src/lean/lake/Lake/Build/Store.lean +%%DATADIR%%/src/lean/lake/Lake/Build/Targets.lean +%%DATADIR%%/src/lean/lake/Lake/Build/Topological.lean +%%DATADIR%%/src/lean/lake/Lake/Build/Trace.lean +%%DATADIR%%/src/lean/lake/Lake/CLI.lean +%%DATADIR%%/src/lean/lake/Lake/CLI/Actions.lean +%%DATADIR%%/src/lean/lake/Lake/CLI/Build.lean +%%DATADIR%%/src/lean/lake/Lake/CLI/Error.lean +%%DATADIR%%/src/lean/lake/Lake/CLI/Help.lean +%%DATADIR%%/src/lean/lake/Lake/CLI/Init.lean +%%DATADIR%%/src/lean/lake/Lake/CLI/Main.lean +%%DATADIR%%/src/lean/lake/Lake/CLI/Serve.lean +%%DATADIR%%/src/lean/lake/Lake/Config.lean +%%DATADIR%%/src/lean/lake/Lake/Config/Context.lean +%%DATADIR%%/src/lean/lake/Lake/Config/Dependency.lean +%%DATADIR%%/src/lean/lake/Lake/Config/Env.lean +%%DATADIR%%/src/lean/lake/Lake/Config/ExternLib.lean +%%DATADIR%%/src/lean/lake/Lake/Config/ExternLibConfig.lean +%%DATADIR%%/src/lean/lake/Lake/Config/FacetConfig.lean +%%DATADIR%%/src/lean/lake/Lake/Config/Glob.lean +%%DATADIR%%/src/lean/lake/Lake/Config/InstallPath.lean +%%DATADIR%%/src/lean/lake/Lake/Config/LeanConfig.lean +%%DATADIR%%/src/lean/lake/Lake/Config/LeanExe.lean +%%DATADIR%%/src/lean/lake/Lake/Config/LeanExeConfig.lean +%%DATADIR%%/src/lean/lake/Lake/Config/LeanLib.lean +%%DATADIR%%/src/lean/lake/Lake/Config/LeanLibConfig.lean +%%DATADIR%%/src/lean/lake/Lake/Config/Module.lean +%%DATADIR%%/src/lean/lake/Lake/Config/Monad.lean +%%DATADIR%%/src/lean/lake/Lake/Config/Opaque.lean +%%DATADIR%%/src/lean/lake/Lake/Config/Package.lean +%%DATADIR%%/src/lean/lake/Lake/Config/Script.lean +%%DATADIR%%/src/lean/lake/Lake/Config/TargetConfig.lean +%%DATADIR%%/src/lean/lake/Lake/Config/Workspace.lean +%%DATADIR%%/src/lean/lake/Lake/Config/WorkspaceConfig.lean +%%DATADIR%%/src/lean/lake/Lake/DSL.lean +%%DATADIR%%/src/lean/lake/Lake/DSL/Attributes.lean +%%DATADIR%%/src/lean/lake/Lake/DSL/Config.lean +%%DATADIR%%/src/lean/lake/Lake/DSL/DeclUtil.lean +%%DATADIR%%/src/lean/lake/Lake/DSL/Extensions.lean +%%DATADIR%%/src/lean/lake/Lake/DSL/Meta.lean +%%DATADIR%%/src/lean/lake/Lake/DSL/Package.lean +%%DATADIR%%/src/lean/lake/Lake/DSL/Require.lean +%%DATADIR%%/src/lean/lake/Lake/DSL/Script.lean +%%DATADIR%%/src/lean/lake/Lake/DSL/Targets.lean +%%DATADIR%%/src/lean/lake/Lake/Load.lean +%%DATADIR%%/src/lean/lake/Lake/Load/Config.lean +%%DATADIR%%/src/lean/lake/Lake/Load/Elab.lean +%%DATADIR%%/src/lean/lake/Lake/Load/Main.lean +%%DATADIR%%/src/lean/lake/Lake/Load/Manifest.lean +%%DATADIR%%/src/lean/lake/Lake/Load/Materialize.lean +%%DATADIR%%/src/lean/lake/Lake/Load/Package.lean +%%DATADIR%%/src/lean/lake/Lake/Main.lean +%%DATADIR%%/src/lean/lake/Lake/Util/Async.lean +%%DATADIR%%/src/lean/lake/Lake/Util/Binder.lean +%%DATADIR%%/src/lean/lake/Lake/Util/Casing.lean +%%DATADIR%%/src/lean/lake/Lake/Util/Cli.lean +%%DATADIR%%/src/lean/lake/Lake/Util/Compare.lean +%%DATADIR%%/src/lean/lake/Lake/Util/Cycle.lean +%%DATADIR%%/src/lean/lake/Lake/Util/DRBMap.lean +%%DATADIR%%/src/lean/lake/Lake/Util/EStateT.lean +%%DATADIR%%/src/lean/lake/Lake/Util/EquipT.lean +%%DATADIR%%/src/lean/lake/Lake/Util/Error.lean +%%DATADIR%%/src/lean/lake/Lake/Util/Exit.lean +%%DATADIR%%/src/lean/lake/Lake/Util/Family.lean +%%DATADIR%%/src/lean/lake/Lake/Util/Git.lean +%%DATADIR%%/src/lean/lake/Lake/Util/Lift.lean +%%DATADIR%%/src/lean/lake/Lake/Util/List.lean +%%DATADIR%%/src/lean/lake/Lake/Util/Log.lean +%%DATADIR%%/src/lean/lake/Lake/Util/MainM.lean +%%DATADIR%%/src/lean/lake/Lake/Util/Name.lean +%%DATADIR%%/src/lean/lake/Lake/Util/NativeLib.lean +%%DATADIR%%/src/lean/lake/Lake/Util/Opaque.lean +%%DATADIR%%/src/lean/lake/Lake/Util/OptionIO.lean +%%DATADIR%%/src/lean/lake/Lake/Util/OrdHashSet.lean +%%DATADIR%%/src/lean/lake/Lake/Util/OrderedTagAttribute.lean +%%DATADIR%%/src/lean/lake/Lake/Util/Platform.lean +%%DATADIR%%/src/lean/lake/Lake/Util/Proc.lean +%%DATADIR%%/src/lean/lake/Lake/Util/RBArray.lean +%%DATADIR%%/src/lean/lake/Lake/Util/Store.lean +%%DATADIR%%/src/lean/lake/Lake/Util/StoreInsts.lean +%%DATADIR%%/src/lean/lake/Lake/Util/Sugar.lean +%%DATADIR%%/src/lean/lake/Lake/Util/Task.lean +%%DATADIR%%/src/lean/lake/Lake/Version.lean +%%DATADIR%%/src/lean/lake/README.md +%%DATADIR%%/src/lean/lake/lakefile.lean +%%DATADIR%%/src/lean/lake/tests/badImport/Lib/A.lean +%%DATADIR%%/src/lean/lake/tests/badImport/Lib/B.lean +%%DATADIR%%/src/lean/lake/tests/badImport/X.lean +%%DATADIR%%/src/lean/lake/tests/badImport/lakefile.lean +%%DATADIR%%/src/lean/lake/tests/buildArgs/Hello.lean +%%DATADIR%%/src/lean/lake/tests/buildArgs/Main.lean +%%DATADIR%%/src/lean/lake/tests/buildArgs/foo.lean +%%DATADIR%%/src/lean/lake/tests/buildArgs/lakefile.lean +%%DATADIR%%/src/lean/lake/tests/clone/test/Main.lean +%%DATADIR%%/src/lean/lake/tests/clone/test/lakefile.lean +%%DATADIR%%/src/lean/lake/tests/globs/TBA.lean +%%DATADIR%%/src/lean/lake/tests/globs/TBA/Eulerian.lean +%%DATADIR%%/src/lean/lake/tests/globs/TBA/Eulerian/A.lean +%%DATADIR%%/src/lean/lake/tests/globs/Test/1.lean +%%DATADIR%%/src/lean/lake/tests/globs/Test/Subtest/1.lean +%%DATADIR%%/src/lean/lake/tests/globs/lakefile.lean +%%DATADIR%%/src/lean/lake/tests/llvm-bitcode-gen/LlvmBitcodeGen.lean +%%DATADIR%%/src/lean/lake/tests/llvm-bitcode-gen/LlvmBitcodeGen/Basic.lean +%%DATADIR%%/src/lean/lake/tests/llvm-bitcode-gen/Main.lean +%%DATADIR%%/src/lean/lake/tests/llvm-bitcode-gen/lakefile.lean +%%DATADIR%%/src/lean/lake/tests/lock/Error.lean +%%DATADIR%%/src/lean/lake/tests/lock/Loop.lean +%%DATADIR%%/src/lean/lake/tests/lock/Nop.lean +%%DATADIR%%/src/lean/lake/tests/lock/Wait.lean +%%DATADIR%%/src/lean/lake/tests/lock/lakefile.lean +%%DATADIR%%/src/lean/lake/tests/manifest/bar/lakefile.lean +%%DATADIR%%/src/lean/lake/tests/manifest/foo/lakefile.lean +%%DATADIR%%/src/lean/lake/tests/manifest/lakefile.lean +%%DATADIR%%/src/lean/lake/tests/meta/lakefile.lean +%%DATADIR%%/src/lean/lake/tests/noBuild/Test.lean +%%DATADIR%%/src/lean/lake/tests/noBuild/lakefile.lean +%%DATADIR%%/src/lean/lake/tests/order/A.lean +%%DATADIR%%/src/lean/lake/tests/order/A/B.lean +%%DATADIR%%/src/lean/lake/tests/order/A/B/C.lean +%%DATADIR%%/src/lean/lake/tests/order/Y.lean +%%DATADIR%%/src/lean/lake/tests/order/bar/X.lean +%%DATADIR%%/src/lean/lake/tests/order/bar/Y.lean +%%DATADIR%%/src/lean/lake/tests/order/bar/lakefile.lean +%%DATADIR%%/src/lean/lake/tests/order/foo/X.lean +%%DATADIR%%/src/lean/lake/tests/order/foo/Y.lean +%%DATADIR%%/src/lean/lake/tests/order/foo/lakefile.lean +%%DATADIR%%/src/lean/lake/tests/order/lakefile.lean +%%DATADIR%%/src/lean/lake/tests/postUpdate/dep/hello.lean +%%DATADIR%%/src/lean/lake/tests/postUpdate/dep/lakefile.lean +%%DATADIR%%/src/lean/lake/tests/postUpdate/lakefile.lean +%%DATADIR%%/src/lean/lake/tests/precompileArgs/Foo.lean +%%DATADIR%%/src/lean/lake/tests/precompileArgs/Foo/Bar.lean +%%DATADIR%%/src/lean/lake/tests/precompileArgs/lakefile.lean +%%DATADIR%%/src/lean/lake/tests/rebuild/Main.lean +%%DATADIR%%/src/lean/lake/tests/rebuild/lakefile.lean |