100644 blob 2b36ee213b2c59adb3b70ae8f4e78f14f20b2259	CMakeLists.txt
100644 blob e211b79480f3a987deaf1fb51971a7d6223269d3	Init.lean
040000 tree 7b7177616c290b275076e22e22dba86b23d8eea8	Init
100644 blob 83d95a42b814782eac232a5d2f3a30dbe5f3d617	Lean.lean
040000 tree 85f9429ff99c0122a55a6f995fde1bbd846ca0bc	Lean
100644 blob 111eef50ac43e28c6613ee4699a46ddd99f7eafd	Leanc.lean
100644 blob aeee8c6e31f5d89953ece6cf4db3233bd8c53d20	Std.lean
040000 tree e12b3d74f8a397f1529edd3bb043d1059808aa5c	Std
040000 tree 776de8c0d66ce0cbc024261b0d89230ce31f9f37	bin
100644 blob de6d888c5a82f788a1b31a4492da1be1a28e89be	cadical.mk
040000 tree 6c0e1a768e75efe3b1ac3d5fef2f3e85a3142377	cmake
100644 blob 193bb56aa7ab4984c5fbfd84fa75fab37081989a	config.h.in
100644 blob 7cc0444b6a3a0f7370be69771e4937bc3562b9dd	githash.h.in
040000 tree f5646aa72196090dcdb09c31fc2a58508eccaf94	include
040000 tree 5b0499c59889479741fbb0232ff5cf535682a227	initialize
040000 tree 8b9ea2f318055c4d2fefc32909fbf148b402a22e	kernel
040000 tree 0812564d387a3f6dddb166a4313973e4834d4881	lake
100644 blob 716317bfce1f2b8660841d08017681dbf451ee02	lakefile.toml.in
100644 blob 0694e2bc29a915356008a01eefd74ca8d056e665	lean-toolchain
100644 blob 1a37a59cf9e65784347500438db2ca2c00c9b478	lean.mk.in
040000 tree f59b553d5bc7ac79117d09669e788e34da85b555	library
040000 tree 5d6128a846448a48c2be8e90f0ad9f3a26be8b21	runtime
040000 tree f25f2d37ede1186d6f73d685331f03c2de4bb0c6	shell
100644 blob 92bb8544303ff79a7110fa450e43a1d08c77730f	stdlib.make.in
100644 blob 0699845ba4526869f7628e722b70abd4d379b3e6	stdlib_flags.h
040000 tree 190ca36f01d44057b66b6436eb97f8bd9ccb8ea0	util
100644 blob 027948c08eabb614e7509654b0f135667b0e6d8e	version.h.in