Created
October 18, 2020 17:00
-
-
Save r-ryantm/f705116b0132855cd4745f53715f453b to your computer and use it in GitHub Desktop.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| 8322 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/bin | |
| 10 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/checker | |
| 40 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/util/sexpr | |
| 10 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/util/numerics | |
| 381 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/util | |
| 1 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/cmake/Modules | |
| 1 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/cmake | |
| 1 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/build/frontends/lean/CMakeFiles/lean_frontend.dir | |
| 1 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/build/frontends/lean/CMakeFiles | |
| 2 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/build/frontends/lean | |
| 2 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/build/frontends | |
| 1 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/build/library/inductive_compiler/CMakeFiles/inductive_compiler.dir | |
| 1 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/build/library/inductive_compiler/CMakeFiles | |
| 2 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/build/library/inductive_compiler | |
| 1 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/build/library/equations_compiler/CMakeFiles/equations_compiler.dir | |
| 1 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/build/library/equations_compiler/CMakeFiles | |
| 2 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/build/library/equations_compiler | |
| 1 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/build/library/vm/CMakeFiles/vm.dir | |
| 1 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/build/library/vm/CMakeFiles | |
| 2 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/build/library/vm | |
| 1 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/build/library/CMakeFiles/library.dir | |
| 1 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/build/library/CMakeFiles | |
| 1 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/build/library/constructions/CMakeFiles/constructions.dir | |
| 1 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/build/library/constructions/CMakeFiles | |
| 2 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/build/library/constructions | |
| 1 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/build/library/tactic/backward/CMakeFiles/backward.dir | |
| 1 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/build/library/tactic/backward/CMakeFiles | |
| 2 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/build/library/tactic/backward | |
| 1 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/build/library/tactic/smt/CMakeFiles/smt.dir | |
| 1 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/build/library/tactic/smt/CMakeFiles | |
| 2 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/build/library/tactic/smt | |
| 1 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/build/library/tactic/CMakeFiles/tactic.dir | |
| 1 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/build/library/tactic/CMakeFiles | |
| 5 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/build/library/tactic | |
| 1 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/build/library/compiler/CMakeFiles/compiler.dir | |
| 1 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/build/library/compiler/CMakeFiles | |
| 2 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/build/library/compiler | |
| 22 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/build/library | |
| 1 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/build/init/CMakeFiles/init.dir | |
| 1 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/build/init/CMakeFiles | |
| 2 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/build/init | |
| 1 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/build/CMakeFiles/clean-std-lib.dir | |
| 1 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/build/CMakeFiles/clean-leanpkg.dir | |
| 1 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/build/CMakeFiles/leanstatic.dir | |
| 1 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/build/CMakeFiles/3.18.2/CompilerIdC/tmp | |
| 1 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/build/CMakeFiles/3.18.2/CompilerIdC | |
| 1 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/build/CMakeFiles/3.18.2/CompilerIdCXX/tmp | |
| 1 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/build/CMakeFiles/3.18.2/CompilerIdCXX | |
| 3 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/build/CMakeFiles/3.18.2 | |
| 1 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/build/CMakeFiles/CMakeTmp | |
| 1 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/build/CMakeFiles/clean-olean.dir | |
| 14 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/build/CMakeFiles | |
| 1 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/build/kernel/inductive/CMakeFiles/inductive.dir | |
| 1 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/build/kernel/inductive/CMakeFiles | |
| 2 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/build/kernel/inductive | |
| 1 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/build/kernel/quotient/CMakeFiles/quotient.dir | |
| 1 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/build/kernel/quotient/CMakeFiles | |
| 2 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/build/kernel/quotient | |
| 1 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/build/kernel/CMakeFiles/kernel.dir | |
| 1 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/build/kernel/CMakeFiles | |
| 5 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/build/kernel | |
| 1 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/build/shell/CMakeFiles/shell_js.dir | |
| 1 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/build/shell/CMakeFiles/bin_lean.dir | |
| 1 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/build/shell/CMakeFiles/lean_js.dir | |
| 1 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/build/shell/CMakeFiles/lean.dir | |
| 3 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/build/shell/CMakeFiles | |
| 3 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/build/shell | |
| 1 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/build/checker/CMakeFiles/leanchecker.dir | |
| 1 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/build/checker/CMakeFiles | |
| 2 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/build/checker | |
| 1 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/build/util/sexpr/CMakeFiles/sexpr.dir | |
| 1 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/build/util/sexpr/CMakeFiles | |
| 2 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/build/util/sexpr | |
| 1 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/build/util/numerics/CMakeFiles/numerics.dir | |
| 1 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/build/util/numerics/CMakeFiles | |
| 2 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/build/util/numerics | |
| 1 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/build/util/CMakeFiles/util.dir | |
| 1 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/build/util/CMakeFiles | |
| 5 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/build/util | |
| 1 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/build/tests/shell/CMakeFiles/shell_test.dir | |
| 1 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/build/tests/shell/CMakeFiles | |
| 2 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/build/tests/shell | |
| 2 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/build/tests | |
| 68 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/build | |
| 1 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/tests/kernel | |
| 1 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/tests/frontends/lean | |
| 1 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/tests/frontends | |
| 1 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/tests/library/rewriter | |
| 1 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/tests/library | |
| 1 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/tests/shell | |
| 1 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/tests/util/numerics | |
| 1 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/tests/util | |
| 13 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/tests | |
| 165 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/library/vm | |
| 94 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/library/compiler | |
| 58 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/library/constructions | |
| 5 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/library/native_compiler | |
| 49 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/library/inductive_compiler | |
| 54 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/library/equations_compiler | |
| 49 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/library/tactic/smt | |
| 14 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/library/tactic/backward | |
| 260 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/library/tactic | |
| 1155 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/library | |
| 1 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/shared | |
| 218 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/frontends/lean | |
| 218 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/frontends | |
| 31 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/shell | |
| 5 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/init | |
| 5 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/kernel/inductive | |
| 5 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/kernel/quotient | |
| 161 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext/kernel | |
| 2049 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include/lean_ext | |
| 2050 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/include | |
| 44 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/lib/lean/leanpkg/leanpkg | |
| 50 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/lib/lean/leanpkg | |
| 14 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/lib/lean/library/tools/debugger | |
| 15 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/lib/lean/library/tools | |
| 18 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/lib/lean/library/system | |
| 80 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/lib/lean/library/init/control | |
| 14 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/lib/lean/library/init/data/bool | |
| 51 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/lib/lean/library/init/data/int | |
| 14 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/lib/lean/library/init/data/sum | |
| 14 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/lib/lean/library/init/data/ordering | |
| 39 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/lib/lean/library/init/data/list | |
| 14 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/lib/lean/library/init/data/sigma | |
| 10 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/lib/lean/library/init/data/option | |
| 60 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/lib/lean/library/init/data/nat | |
| 14 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/lib/lean/library/init/data/fin | |
| 10 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/lib/lean/library/init/data/rbtree | |
| 14 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/lib/lean/library/init/data/string | |
| 18 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/lib/lean/library/init/data/array | |
| 14 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/lib/lean/library/init/data/unsigned | |
| 14 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/lib/lean/library/init/data/subtype | |
| 19 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/lib/lean/library/init/data/char | |
| 10 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/lib/lean/library/init/data/rbmap | |
| 380 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/lib/lean/library/init/data | |
| 40 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/lib/lean/library/init/meta/smt | |
| 5 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/lib/lean/library/init/meta/lean | |
| 48 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/lib/lean/library/init/meta/widget | |
| 14 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/lib/lean/library/init/meta/converter | |
| 449 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/lib/lean/library/init/meta | |
| 27 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/lib/lean/library/init/algebra | |
| 1030 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/lib/lean/library/init | |
| 44 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/lib/lean/library/data/rbtree | |
| 9 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/lib/lean/library/data/rbmap | |
| 5 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/lib/lean/library/data/buffer | |
| 97 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/lib/lean/library/data | |
| 19 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/lib/lean/library/smt | |
| 1191 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/lib/lean/library | |
| 1241 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/lib/lean | |
| 1241 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0/lib | |
| 11613 /nix/store/7nmx6zlfwa3xfsma7pgarlb64adkqx57-lean-3.21.0 |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment