100644 blob cb1801a16ea14c6e39901accbc1e594fc8627532	CMakeLists.txt
100644 blob 568452373ed2c8f3a6033731f4f2789aa806bf81	Init.lean
040000 tree f6dc94309b4d2397753dd584408383cd624cd0c2	Init
100644 blob 83d95a42b814782eac232a5d2f3a30dbe5f3d617	Lean.lean
040000 tree a25529a627ce3277950b77c44b4578d690a27530	Lean
100644 blob 111eef50ac43e28c6613ee4699a46ddd99f7eafd	Leanc.lean
100644 blob e48e8015469358215d3fc49d62774918b76f4e13	Std.lean
040000 tree ccd4e97ee7462ec78f68bbfe767b0a12d5bbb4b5	Std
040000 tree 776de8c0d66ce0cbc024261b0d89230ce31f9f37	bin
100644 blob de6d888c5a82f788a1b31a4492da1be1a28e89be	cadical.mk
040000 tree c5bea5f3095470b152211dab5ac328ed81ed0d79	cmake
100644 blob 193bb56aa7ab4984c5fbfd84fa75fab37081989a	config.h.in
100644 blob 7cc0444b6a3a0f7370be69771e4937bc3562b9dd	githash.h.in
040000 tree 38e8a221cd3bec15f7b80146e12d26d5eaa1bcc3	include
040000 tree 5b0499c59889479741fbb0232ff5cf535682a227	initialize
040000 tree 0754fc8984547c6dd3462a2b00f5367998d5b02c	kernel
040000 tree cc3966da88a13f61ecd923d9e28a742076b4f447	lake
100644 blob 716317bfce1f2b8660841d08017681dbf451ee02	lakefile.toml.in
100644 blob 0694e2bc29a915356008a01eefd74ca8d056e665	lean-toolchain
100644 blob 1a37a59cf9e65784347500438db2ca2c00c9b478	lean.mk.in
040000 tree db47f75b14b600665c204001fe45ef3fd9233b19	library
040000 tree 7598afc7b262770ee9b6f07bfdfd207441f755b6	runtime
040000 tree f25f2d37ede1186d6f73d685331f03c2de4bb0c6	shell
100644 blob 92bb8544303ff79a7110fa450e43a1d08c77730f	stdlib.make.in
100644 blob 0699845ba4526869f7628e722b70abd4d379b3e6	stdlib_flags.h
040000 tree 6ebb729b343752dc45f08b29248d10b627badcf8	util
100644 blob e44d0579907c44c22ca541c136e9319d78c3aef3	version.h.in