Skip to content

Instantly share code, notes, and snippets.

@r-ryantm

r-ryantm/gist:8cc6f994d28028b62178ea8bacad6257

Created November 11, 2020 11:58
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/8cc6f994d28028b62178ea8bacad6257 to your computer and use it in GitHub Desktop.
Save r-ryantm/8cc6f994d28028b62178ea8bacad6257 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
7510 /nix/store/7brd4rakl3a62fhp41fs7sxvfdsgz7y2-lean-3.23.0/bin
236 /nix/store/7brd4rakl3a62fhp41fs7sxvfdsgz7y2-lean-3.23.0/lib/lean/leanpkg/leanpkg
241 /nix/store/7brd4rakl3a62fhp41fs7sxvfdsgz7y2-lean-3.23.0/lib/lean/leanpkg
479 /nix/store/7brd4rakl3a62fhp41fs7sxvfdsgz7y2-lean-3.23.0/lib/lean/library/data/rbtree
50 /nix/store/7brd4rakl3a62fhp41fs7sxvfdsgz7y2-lean-3.23.0/lib/lean/library/data/rbmap
46 /nix/store/7brd4rakl3a62fhp41fs7sxvfdsgz7y2-lean-3.23.0/lib/lean/library/data/buffer
767 /nix/store/7brd4rakl3a62fhp41fs7sxvfdsgz7y2-lean-3.23.0/lib/lean/library/data
551 /nix/store/7brd4rakl3a62fhp41fs7sxvfdsgz7y2-lean-3.23.0/lib/lean/library/init/control
44 /nix/store/7brd4rakl3a62fhp41fs7sxvfdsgz7y2-lean-3.23.0/lib/lean/library/init/data/bool
67 /nix/store/7brd4rakl3a62fhp41fs7sxvfdsgz7y2-lean-3.23.0/lib/lean/library/init/data/rbtree
36 /nix/store/7brd4rakl3a62fhp41fs7sxvfdsgz7y2-lean-3.23.0/lib/lean/library/init/data/subtype
60 /nix/store/7brd4rakl3a62fhp41fs7sxvfdsgz7y2-lean-3.23.0/lib/lean/library/init/data/string
52 /nix/store/7brd4rakl3a62fhp41fs7sxvfdsgz7y2-lean-3.23.0/lib/lean/library/init/data/sigma
36 /nix/store/7brd4rakl3a62fhp41fs7sxvfdsgz7y2-lean-3.23.0/lib/lean/library/init/data/unsigned
250 /nix/store/7brd4rakl3a62fhp41fs7sxvfdsgz7y2-lean-3.23.0/lib/lean/library/init/data/list
48 /nix/store/7brd4rakl3a62fhp41fs7sxvfdsgz7y2-lean-3.23.0/lib/lean/library/init/data/fin
223 /nix/store/7brd4rakl3a62fhp41fs7sxvfdsgz7y2-lean-3.23.0/lib/lean/library/init/data/nat
80 /nix/store/7brd4rakl3a62fhp41fs7sxvfdsgz7y2-lean-3.23.0/lib/lean/library/init/data/array
44 /nix/store/7brd4rakl3a62fhp41fs7sxvfdsgz7y2-lean-3.23.0/lib/lean/library/init/data/ordering
36 /nix/store/7brd4rakl3a62fhp41fs7sxvfdsgz7y2-lean-3.23.0/lib/lean/library/init/data/sum
27 /nix/store/7brd4rakl3a62fhp41fs7sxvfdsgz7y2-lean-3.23.0/lib/lean/library/init/data/rbmap
49 /nix/store/7brd4rakl3a62fhp41fs7sxvfdsgz7y2-lean-3.23.0/lib/lean/library/init/data/char
174 /nix/store/7brd4rakl3a62fhp41fs7sxvfdsgz7y2-lean-3.23.0/lib/lean/library/init/data/int
47 /nix/store/7brd4rakl3a62fhp41fs7sxvfdsgz7y2-lean-3.23.0/lib/lean/library/init/data/option
1411 /nix/store/7brd4rakl3a62fhp41fs7sxvfdsgz7y2-lean-3.23.0/lib/lean/library/init/data
14 /nix/store/7brd4rakl3a62fhp41fs7sxvfdsgz7y2-lean-3.23.0/lib/lean/library/init/meta/lean
135 /nix/store/7brd4rakl3a62fhp41fs7sxvfdsgz7y2-lean-3.23.0/lib/lean/library/init/meta/smt
183 /nix/store/7brd4rakl3a62fhp41fs7sxvfdsgz7y2-lean-3.23.0/lib/lean/library/init/meta/widget
48 /nix/store/7brd4rakl3a62fhp41fs7sxvfdsgz7y2-lean-3.23.0/lib/lean/library/init/meta/converter
1504 /nix/store/7brd4rakl3a62fhp41fs7sxvfdsgz7y2-lean-3.23.0/lib/lean/library/init/meta
121 /nix/store/7brd4rakl3a62fhp41fs7sxvfdsgz7y2-lean-3.23.0/lib/lean/library/init/algebra
3947 /nix/store/7brd4rakl3a62fhp41fs7sxvfdsgz7y2-lean-3.23.0/lib/lean/library/init
49 /nix/store/7brd4rakl3a62fhp41fs7sxvfdsgz7y2-lean-3.23.0/lib/lean/library/smt
60 /nix/store/7brd4rakl3a62fhp41fs7sxvfdsgz7y2-lean-3.23.0/lib/lean/library/tools/debugger
60 /nix/store/7brd4rakl3a62fhp41fs7sxvfdsgz7y2-lean-3.23.0/lib/lean/library/tools
112 /nix/store/7brd4rakl3a62fhp41fs7sxvfdsgz7y2-lean-3.23.0/lib/lean/library/system
4947 /nix/store/7brd4rakl3a62fhp41fs7sxvfdsgz7y2-lean-3.23.0/lib/lean/library
5189 /nix/store/7brd4rakl3a62fhp41fs7sxvfdsgz7y2-lean-3.23.0/lib/lean
5189 /nix/store/7brd4rakl3a62fhp41fs7sxvfdsgz7y2-lean-3.23.0/lib
5 /nix/store/7brd4rakl3a62fhp41fs7sxvfdsgz7y2-lean-3.23.0/include/lean_ext/kernel/inductive
5 /nix/store/7brd4rakl3a62fhp41fs7sxvfdsgz7y2-lean-3.23.0/include/lean_ext/kernel/quotient
161 /nix/store/7brd4rakl3a62fhp41fs7sxvfdsgz7y2-lean-3.23.0/include/lean_ext/kernel
1 /nix/store/7brd4rakl3a62fhp41fs7sxvfdsgz7y2-lean-3.23.0/include/lean_ext/tests/library/rewriter
1 /nix/store/7brd4rakl3a62fhp41fs7sxvfdsgz7y2-lean-3.23.0/include/lean_ext/tests/library
1 /nix/store/7brd4rakl3a62fhp41fs7sxvfdsgz7y2-lean-3.23.0/include/lean_ext/tests/util/numerics
1 /nix/store/7brd4rakl3a62fhp41fs7sxvfdsgz7y2-lean-3.23.0/include/lean_ext/tests/util
1 /nix/store/7brd4rakl3a62fhp41fs7sxvfdsgz7y2-lean-3.23.0/include/lean_ext/tests/kernel
1 /nix/store/7brd4rakl3a62fhp41fs7sxvfdsgz7y2-lean-3.23.0/include/lean_ext/tests/shell
1 /nix/store/7brd4rakl3a62fhp41fs7sxvfdsgz7y2-lean-3.23.0/include/lean_ext/tests/frontends/lean
1 /nix/store/7brd4rakl3a62fhp41fs7sxvfdsgz7y2-lean-3.23.0/include/lean_ext/tests/frontends
13 /nix/store/7brd4rakl3a62fhp41fs7sxvfdsgz7y2-lean-3.23.0/include/lean_ext/tests
40 /nix/store/7brd4rakl3a62fhp41fs7sxvfdsgz7y2-lean-3.23.0/include/lean_ext/util/sexpr
10 /nix/store/7brd4rakl3a62fhp41fs7sxvfdsgz7y2-lean-3.23.0/include/lean_ext/util/numerics
381 /nix/store/7brd4rakl3a62fhp41fs7sxvfdsgz7y2-lean-3.23.0/include/lean_ext/util
1 /nix/store/7brd4rakl3a62fhp41fs7sxvfdsgz7y2-lean-3.23.0/include/lean_ext/cmake/Modules
1 /nix/store/7brd4rakl3a62fhp41fs7sxvfdsgz7y2-lean-3.23.0/include/lean_ext/cmake
14 /nix/store/7brd4rakl3a62fhp41fs7sxvfdsgz7y2-lean-3.23.0/include/lean_ext/library/tactic/backward
49 /nix/store/7brd4rakl3a62fhp41fs7sxvfdsgz7y2-lean-3.23.0/include/lean_ext/library/tactic/smt
260 /nix/store/7brd4rakl3a62fhp41fs7sxvfdsgz7y2-lean-3.23.0/include/lean_ext/library/tactic
165 /nix/store/7brd4rakl3a62fhp41fs7sxvfdsgz7y2-lean-3.23.0/include/lean_ext/library/vm
94 /nix/store/7brd4rakl3a62fhp41fs7sxvfdsgz7y2-lean-3.23.0/include/lean_ext/library/compiler
58 /nix/store/7brd4rakl3a62fhp41fs7sxvfdsgz7y2-lean-3.23.0/include/lean_ext/library/constructions
49 /nix/store/7brd4rakl3a62fhp41fs7sxvfdsgz7y2-lean-3.23.0/include/lean_ext/library/inductive_compiler
54 /nix/store/7brd4rakl3a62fhp41fs7sxvfdsgz7y2-lean-3.23.0/include/lean_ext/library/equations_compiler
5 /nix/store/7brd4rakl3a62fhp41fs7sxvfdsgz7y2-lean-3.23.0/include/lean_ext/library/native_compiler
1155 /nix/store/7brd4rakl3a62fhp41fs7sxvfdsgz7y2-lean-3.23.0/include/lean_ext/library
1 /nix/store/7brd4rakl3a62fhp41fs7sxvfdsgz7y2-lean-3.23.0/include/lean_ext/shared
27 /nix/store/7brd4rakl3a62fhp41fs7sxvfdsgz7y2-lean-3.23.0/include/lean_ext/shell
10 /nix/store/7brd4rakl3a62fhp41fs7sxvfdsgz7y2-lean-3.23.0/include/lean_ext/checker
5 /nix/store/7brd4rakl3a62fhp41fs7sxvfdsgz7y2-lean-3.23.0/include/lean_ext/init
218 /nix/store/7brd4rakl3a62fhp41fs7sxvfdsgz7y2-lean-3.23.0/include/lean_ext/frontends/lean
218 /nix/store/7brd4rakl3a62fhp41fs7sxvfdsgz7y2-lean-3.23.0/include/lean_ext/frontends
1977 /nix/store/7brd4rakl3a62fhp41fs7sxvfdsgz7y2-lean-3.23.0/include/lean_ext
1978 /nix/store/7brd4rakl3a62fhp41fs7sxvfdsgz7y2-lean-3.23.0/include
14677 /nix/store/7brd4rakl3a62fhp41fs7sxvfdsgz7y2-lean-3.23.0
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment