Created
August 2, 2020 04:55
-
-
Save r-ryantm/d7b75672657c7947d1f41caafeb46b2a 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
44 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/lib/lean/leanpkg/leanpkg | |
50 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/lib/lean/leanpkg | |
14 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/lib/lean/library/tools/debugger | |
15 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/lib/lean/library/tools | |
18 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/lib/lean/library/system | |
44 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/lib/lean/library/data/rbtree | |
9 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/lib/lean/library/data/rbmap | |
5 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/lib/lean/library/data/buffer | |
101 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/lib/lean/library/data | |
80 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/lib/lean/library/init/control | |
23 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/lib/lean/library/init/algebra | |
14 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/lib/lean/library/init/data/sigma | |
14 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/lib/lean/library/init/data/subtype | |
14 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/lib/lean/library/init/data/fin | |
60 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/lib/lean/library/init/data/nat | |
19 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/lib/lean/library/init/data/char | |
14 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/lib/lean/library/init/data/ordering | |
10 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/lib/lean/library/init/data/option | |
10 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/lib/lean/library/init/data/rbmap | |
39 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/lib/lean/library/init/data/list | |
10 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/lib/lean/library/init/data/rbtree | |
51 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/lib/lean/library/init/data/int | |
14 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/lib/lean/library/init/data/unsigned | |
14 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/lib/lean/library/init/data/string | |
14 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/lib/lean/library/init/data/sum | |
14 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/lib/lean/library/init/data/bool | |
18 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/lib/lean/library/init/data/array | |
380 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/lib/lean/library/init/data | |
40 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/lib/lean/library/init/meta/smt | |
48 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/lib/lean/library/init/meta/widget | |
14 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/lib/lean/library/init/meta/converter | |
5 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/lib/lean/library/init/meta/lean | |
445 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/lib/lean/library/init/meta | |
1022 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/lib/lean/library/init | |
19 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/lib/lean/library/smt | |
1187 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/lib/lean/library | |
1237 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/lib/lean | |
1237 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/lib | |
49 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/library/inductive_compiler | |
58 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/library/constructions | |
54 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/library/equations_compiler | |
5 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/library/native_compiler | |
94 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/library/compiler | |
14 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/library/tactic/backward | |
49 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/library/tactic/smt | |
260 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/library/tactic | |
160 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/library/vm | |
1150 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/library | |
31 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/shell | |
5 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/init | |
1 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/tests/library/rewriter | |
1 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/tests/library | |
1 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/tests/kernel | |
1 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/tests/frontends/lean | |
1 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/tests/frontends | |
1 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/tests/shell | |
1 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/tests/util/numerics | |
1 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/tests/util | |
13 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/tests | |
1 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/build/CMakeFiles/leanstatic.dir | |
1 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/build/CMakeFiles/3.17.3/CompilerIdCXX/tmp | |
1 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/build/CMakeFiles/3.17.3/CompilerIdCXX | |
1 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/build/CMakeFiles/3.17.3/CompilerIdC/tmp | |
1 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/build/CMakeFiles/3.17.3/CompilerIdC | |
3 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/build/CMakeFiles/3.17.3 | |
1 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/build/CMakeFiles/clean-olean.dir | |
1 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/build/CMakeFiles/clean-leanpkg.dir | |
1 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/build/CMakeFiles/clean-std-lib.dir | |
1 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/build/CMakeFiles/CMakeTmp | |
14 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/build/CMakeFiles | |
1 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/build/util/numerics/CMakeFiles/numerics.dir | |
1 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/build/util/numerics/CMakeFiles | |
2 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/build/util/numerics | |
1 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/build/util/sexpr/CMakeFiles/sexpr.dir | |
1 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/build/util/sexpr/CMakeFiles | |
2 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/build/util/sexpr | |
1 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/build/util/CMakeFiles/util.dir | |
1 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/build/util/CMakeFiles | |
5 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/build/util | |
1 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/build/library/tactic/CMakeFiles/tactic.dir | |
1 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/build/library/tactic/CMakeFiles | |
1 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/build/library/tactic/backward/CMakeFiles/backward.dir | |
1 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/build/library/tactic/backward/CMakeFiles | |
2 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/build/library/tactic/backward | |
1 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/build/library/tactic/smt/CMakeFiles/smt.dir | |
1 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/build/library/tactic/smt/CMakeFiles | |
2 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/build/library/tactic/smt | |
5 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/build/library/tactic | |
1 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/build/library/CMakeFiles/library.dir | |
1 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/build/library/CMakeFiles | |
1 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/build/library/constructions/CMakeFiles/constructions.dir | |
1 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/build/library/constructions/CMakeFiles | |
2 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/build/library/constructions | |
1 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/build/library/vm/CMakeFiles/vm.dir | |
1 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/build/library/vm/CMakeFiles | |
2 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/build/library/vm | |
1 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/build/library/compiler/CMakeFiles/compiler.dir | |
1 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/build/library/compiler/CMakeFiles | |
2 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/build/library/compiler | |
1 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/build/library/equations_compiler/CMakeFiles/equations_compiler.dir | |
1 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/build/library/equations_compiler/CMakeFiles | |
2 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/build/library/equations_compiler | |
1 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/build/library/inductive_compiler/CMakeFiles/inductive_compiler.dir | |
1 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/build/library/inductive_compiler/CMakeFiles | |
2 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/build/library/inductive_compiler | |
22 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/build/library | |
1 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/build/checker/CMakeFiles/leanchecker.dir | |
1 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/build/checker/CMakeFiles | |
2 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/build/checker | |
1 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/build/shell/CMakeFiles/shell_js.dir | |
1 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/build/shell/CMakeFiles/lean.dir | |
1 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/build/shell/CMakeFiles/bin_lean.dir | |
1 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/build/shell/CMakeFiles/lean_js.dir | |
3 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/build/shell/CMakeFiles | |
3 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/build/shell | |
1 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/build/init/CMakeFiles/init.dir | |
1 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/build/init/CMakeFiles | |
2 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/build/init | |
1 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/build/kernel/quotient/CMakeFiles/quotient.dir | |
1 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/build/kernel/quotient/CMakeFiles | |
2 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/build/kernel/quotient | |
1 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/build/kernel/inductive/CMakeFiles/inductive.dir | |
1 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/build/kernel/inductive/CMakeFiles | |
2 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/build/kernel/inductive | |
1 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/build/kernel/CMakeFiles/kernel.dir | |
1 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/build/kernel/CMakeFiles | |
5 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/build/kernel | |
1 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/build/frontends/lean/CMakeFiles/lean_frontend.dir | |
1 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/build/frontends/lean/CMakeFiles | |
2 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/build/frontends/lean | |
2 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/build/frontends | |
1 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/build/tests/shell/CMakeFiles/shell_test.dir | |
1 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/build/tests/shell/CMakeFiles | |
2 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/build/tests/shell | |
2 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/build/tests | |
68 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/build | |
1 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/cmake/Modules | |
1 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/cmake | |
1 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/shared | |
5 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/kernel/quotient | |
5 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/kernel/inductive | |
161 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/kernel | |
40 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/util/sexpr | |
10 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/util/numerics | |
381 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/util | |
218 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/frontends/lean | |
218 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/frontends | |
10 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext/checker | |
2045 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include/lean_ext | |
2045 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/include | |
7502 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4/bin | |
10785 /nix/store/06wclm0wwn8161mr4zjf6aa497385ld9-lean-3.18.4 |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment