Skip to content

Instantly share code, notes, and snippets.

@r-ryantm
Created August 2, 2020 04:55
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save r-ryantm/d7b75672657c7947d1f41caafeb46b2a to your computer and use it in GitHub Desktop.
Save r-ryantm/d7b75672657c7947d1f41caafeb46b2a to your computer and use it in GitHub Desktop.
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