notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)Want a good monitor light? See my photosAll times are UTC		 Ukraine
Port details
lean4 Theorem prover and functional language for math (new gen)
4.12.0 math on this many watch lists=2 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 4.11.0_1Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2024-01-14 03:51:07
Last Update: 2024-10-03 09:17:09
Commit Hash: fec2768
People watching this port, also watch:: jdictionary, py311-Automat, py311-python-gdsii, py39-PyOpenGL, p5-Sane
Also Listed In: devel lang
License: APACHE20
WWW:
https://lean-lang.org/
Description:
Lean is an open source theorem prover and programming language being developed at Microsoft Research. Lean aims to bridge the gap between interactive and automated theorem proving, by situating automated tools and methods in a framework that supports user interaction and the construction of fully specified axiomatic proofs. The mathematical components library mathlib for Lean is being developed at Carnegie Mellon University.
Homepage    cgit ¦ Codeberg ¦ GitHub ¦ GitLab ¦ SVNWeb - no subversion history for this port

Manual pages:
FreshPorts has no man page information for this port.
pkg-plist: as obtained via: make generate-plist
Expand this list (3511 items)
Collapse this list.
  1. /usr/local/share/licenses/lean4-4.12.0/catalog.mk
  2. /usr/local/share/licenses/lean4-4.12.0/LICENSE
  3. /usr/local/share/licenses/lean4-4.12.0/APACHE20
  4. bin/lake
  5. bin/lean
  6. bin/leanc
  7. bin/leanmake
  8. include/lean/config.h
  9. include/lean/lean.h
  10. include/lean/lean_gmp.h
  11. include/lean/lean_libuv.h
  12. include/lean/version.h
  13. lib/lean/Init.ilean
  14. lib/lean/Init.olean
  15. lib/lean/Init/BinderPredicates.ilean
  16. lib/lean/Init/BinderPredicates.olean
  17. lib/lean/Init/ByCases.ilean
  18. lib/lean/Init/ByCases.olean
  19. lib/lean/Init/Classical.ilean
  20. lib/lean/Init/Classical.olean
  21. lib/lean/Init/Coe.ilean
  22. lib/lean/Init/Coe.olean
  23. lib/lean/Init/Control.ilean
  24. lib/lean/Init/Control.olean
  25. lib/lean/Init/Control/Basic.ilean
  26. lib/lean/Init/Control/Basic.olean
  27. lib/lean/Init/Control/EState.ilean
  28. lib/lean/Init/Control/EState.olean
  29. lib/lean/Init/Control/Except.ilean
  30. lib/lean/Init/Control/Except.olean
  31. lib/lean/Init/Control/ExceptCps.ilean
  32. lib/lean/Init/Control/ExceptCps.olean
  33. lib/lean/Init/Control/Id.ilean
  34. lib/lean/Init/Control/Id.olean
  35. lib/lean/Init/Control/Lawful.ilean
  36. lib/lean/Init/Control/Lawful.olean
  37. lib/lean/Init/Control/Lawful/Basic.ilean
  38. lib/lean/Init/Control/Lawful/Basic.olean
  39. lib/lean/Init/Control/Lawful/Instances.ilean
  40. lib/lean/Init/Control/Lawful/Instances.olean
  41. lib/lean/Init/Control/Option.ilean
  42. lib/lean/Init/Control/Option.olean
  43. lib/lean/Init/Control/Reader.ilean
  44. lib/lean/Init/Control/Reader.olean
  45. lib/lean/Init/Control/State.ilean
  46. lib/lean/Init/Control/State.olean
  47. lib/lean/Init/Control/StateCps.ilean
  48. lib/lean/Init/Control/StateCps.olean
  49. lib/lean/Init/Control/StateRef.ilean
  50. lib/lean/Init/Control/StateRef.olean
  51. lib/lean/Init/Conv.ilean
  52. lib/lean/Init/Conv.olean
  53. lib/lean/Init/Core.ilean
  54. lib/lean/Init/Core.olean
  55. lib/lean/Init/Data.ilean
  56. lib/lean/Init/Data.olean
  57. lib/lean/Init/Data/AC.ilean
  58. lib/lean/Init/Data/AC.olean
  59. lib/lean/Init/Data/Array.ilean
  60. lib/lean/Init/Data/Array.olean
  61. lib/lean/Init/Data/Array/Attach.ilean
  62. lib/lean/Init/Data/Array/Attach.olean
  63. lib/lean/Init/Data/Array/Basic.ilean
  64. lib/lean/Init/Data/Array/Basic.olean
  65. lib/lean/Init/Data/Array/BasicAux.ilean
  66. lib/lean/Init/Data/Array/BasicAux.olean
  67. lib/lean/Init/Data/Array/BinSearch.ilean
  68. lib/lean/Init/Data/Array/BinSearch.olean
  69. lib/lean/Init/Data/Array/DecidableEq.ilean
  70. lib/lean/Init/Data/Array/DecidableEq.olean
  71. lib/lean/Init/Data/Array/InsertionSort.ilean
  72. lib/lean/Init/Data/Array/InsertionSort.olean
  73. lib/lean/Init/Data/Array/Lemmas.ilean
  74. lib/lean/Init/Data/Array/Lemmas.olean
  75. lib/lean/Init/Data/Array/Mem.ilean
  76. lib/lean/Init/Data/Array/Mem.olean
  77. lib/lean/Init/Data/Array/QSort.ilean
  78. lib/lean/Init/Data/Array/QSort.olean
  79. lib/lean/Init/Data/Array/Subarray.ilean
  80. lib/lean/Init/Data/Array/Subarray.olean
  81. lib/lean/Init/Data/Array/Subarray/Split.ilean
  82. lib/lean/Init/Data/Array/Subarray/Split.olean
  83. lib/lean/Init/Data/Array/TakeDrop.ilean
  84. lib/lean/Init/Data/Array/TakeDrop.olean
  85. lib/lean/Init/Data/BEq.ilean
  86. lib/lean/Init/Data/BEq.olean
  87. lib/lean/Init/Data/Basic.ilean
  88. lib/lean/Init/Data/Basic.olean
  89. lib/lean/Init/Data/BitVec.ilean
  90. lib/lean/Init/Data/BitVec.olean
  91. lib/lean/Init/Data/BitVec/Basic.ilean
  92. lib/lean/Init/Data/BitVec/Basic.olean
  93. lib/lean/Init/Data/BitVec/Bitblast.ilean
  94. lib/lean/Init/Data/BitVec/Bitblast.olean
  95. lib/lean/Init/Data/BitVec/Folds.ilean
  96. lib/lean/Init/Data/BitVec/Folds.olean
  97. lib/lean/Init/Data/BitVec/Lemmas.ilean
  98. lib/lean/Init/Data/BitVec/Lemmas.olean
  99. lib/lean/Init/Data/Bool.ilean
  100. lib/lean/Init/Data/Bool.olean
  101. lib/lean/Init/Data/ByteArray.ilean
  102. lib/lean/Init/Data/ByteArray.olean
  103. lib/lean/Init/Data/ByteArray/Basic.ilean
  104. lib/lean/Init/Data/ByteArray/Basic.olean
  105. lib/lean/Init/Data/Cast.ilean
  106. lib/lean/Init/Data/Cast.olean
  107. lib/lean/Init/Data/Channel.ilean
  108. lib/lean/Init/Data/Channel.olean
  109. lib/lean/Init/Data/Char.ilean
  110. lib/lean/Init/Data/Char.olean
  111. lib/lean/Init/Data/Char/Basic.ilean
  112. lib/lean/Init/Data/Char/Basic.olean
  113. lib/lean/Init/Data/Char/Lemmas.ilean
  114. lib/lean/Init/Data/Char/Lemmas.olean
  115. lib/lean/Init/Data/Fin.ilean
  116. lib/lean/Init/Data/Fin.olean
  117. lib/lean/Init/Data/Fin/Basic.ilean
  118. lib/lean/Init/Data/Fin/Basic.olean
  119. lib/lean/Init/Data/Fin/Bitwise.ilean
  120. lib/lean/Init/Data/Fin/Bitwise.olean
  121. lib/lean/Init/Data/Fin/Fold.ilean
  122. lib/lean/Init/Data/Fin/Fold.olean
  123. lib/lean/Init/Data/Fin/Iterate.ilean
  124. lib/lean/Init/Data/Fin/Iterate.olean
  125. lib/lean/Init/Data/Fin/Lemmas.ilean
  126. lib/lean/Init/Data/Fin/Lemmas.olean
  127. lib/lean/Init/Data/Fin/Log2.ilean
  128. lib/lean/Init/Data/Fin/Log2.olean
  129. lib/lean/Init/Data/Float.ilean
  130. lib/lean/Init/Data/Float.olean
  131. lib/lean/Init/Data/FloatArray.ilean
  132. lib/lean/Init/Data/FloatArray.olean
  133. lib/lean/Init/Data/FloatArray/Basic.ilean
  134. lib/lean/Init/Data/FloatArray/Basic.olean
  135. lib/lean/Init/Data/Format.ilean
  136. lib/lean/Init/Data/Format.olean
  137. lib/lean/Init/Data/Format/Basic.ilean
  138. lib/lean/Init/Data/Format/Basic.olean
  139. lib/lean/Init/Data/Format/Instances.ilean
  140. lib/lean/Init/Data/Format/Instances.olean
  141. lib/lean/Init/Data/Format/Macro.ilean
  142. lib/lean/Init/Data/Format/Macro.olean
  143. lib/lean/Init/Data/Format/Syntax.ilean
  144. lib/lean/Init/Data/Format/Syntax.olean
  145. lib/lean/Init/Data/Hashable.ilean
  146. lib/lean/Init/Data/Hashable.olean
  147. lib/lean/Init/Data/Int.ilean
  148. lib/lean/Init/Data/Int.olean
  149. lib/lean/Init/Data/Int/Basic.ilean
  150. lib/lean/Init/Data/Int/Basic.olean
  151. lib/lean/Init/Data/Int/Bitwise.ilean
  152. lib/lean/Init/Data/Int/Bitwise.olean
  153. lib/lean/Init/Data/Int/Bitwise/Lemmas.ilean
  154. lib/lean/Init/Data/Int/Bitwise/Lemmas.olean
  155. lib/lean/Init/Data/Int/DivMod.ilean
  156. lib/lean/Init/Data/Int/DivMod.olean
  157. lib/lean/Init/Data/Int/DivModLemmas.ilean
  158. lib/lean/Init/Data/Int/DivModLemmas.olean
  159. lib/lean/Init/Data/Int/Gcd.ilean
  160. lib/lean/Init/Data/Int/Gcd.olean
  161. lib/lean/Init/Data/Int/Lemmas.ilean
  162. lib/lean/Init/Data/Int/Lemmas.olean
  163. lib/lean/Init/Data/Int/LemmasAux.ilean
  164. lib/lean/Init/Data/Int/LemmasAux.olean
  165. lib/lean/Init/Data/Int/Order.ilean
  166. lib/lean/Init/Data/Int/Order.olean
  167. lib/lean/Init/Data/Int/Pow.ilean
  168. lib/lean/Init/Data/Int/Pow.olean
  169. lib/lean/Init/Data/List.ilean
  170. lib/lean/Init/Data/List.olean
  171. lib/lean/Init/Data/List/Attach.ilean
  172. lib/lean/Init/Data/List/Attach.olean
  173. lib/lean/Init/Data/List/Basic.ilean
  174. lib/lean/Init/Data/List/Basic.olean
  175. lib/lean/Init/Data/List/BasicAux.ilean
  176. lib/lean/Init/Data/List/BasicAux.olean
  177. lib/lean/Init/Data/List/Control.ilean
  178. lib/lean/Init/Data/List/Control.olean
  179. lib/lean/Init/Data/List/Count.ilean
  180. lib/lean/Init/Data/List/Count.olean
  181. lib/lean/Init/Data/List/Erase.ilean
  182. lib/lean/Init/Data/List/Erase.olean
  183. lib/lean/Init/Data/List/Find.ilean
  184. lib/lean/Init/Data/List/Find.olean
  185. lib/lean/Init/Data/List/Impl.ilean
  186. lib/lean/Init/Data/List/Impl.olean
  187. lib/lean/Init/Data/List/Lemmas.ilean
  188. lib/lean/Init/Data/List/Lemmas.olean
  189. lib/lean/Init/Data/List/MinMax.ilean
  190. lib/lean/Init/Data/List/MinMax.olean
  191. lib/lean/Init/Data/List/Monadic.ilean
  192. lib/lean/Init/Data/List/Monadic.olean
  193. lib/lean/Init/Data/List/Nat.ilean
  194. lib/lean/Init/Data/List/Nat.olean
  195. lib/lean/Init/Data/List/Nat/Basic.ilean
  196. lib/lean/Init/Data/List/Nat/Basic.olean
  197. lib/lean/Init/Data/List/Nat/Pairwise.ilean
  198. lib/lean/Init/Data/List/Nat/Pairwise.olean
  199. lib/lean/Init/Data/List/Nat/Range.ilean
  200. lib/lean/Init/Data/List/Nat/Range.olean
  201. lib/lean/Init/Data/List/Nat/Sublist.ilean
  202. lib/lean/Init/Data/List/Nat/Sublist.olean
  203. lib/lean/Init/Data/List/Nat/TakeDrop.ilean
  204. lib/lean/Init/Data/List/Nat/TakeDrop.olean
  205. lib/lean/Init/Data/List/Notation.ilean
  206. lib/lean/Init/Data/List/Notation.olean
  207. lib/lean/Init/Data/List/Pairwise.ilean
  208. lib/lean/Init/Data/List/Pairwise.olean
  209. lib/lean/Init/Data/List/Perm.ilean
  210. lib/lean/Init/Data/List/Perm.olean
  211. lib/lean/Init/Data/List/Range.ilean
  212. lib/lean/Init/Data/List/Range.olean
  213. lib/lean/Init/Data/List/Sort.ilean
  214. lib/lean/Init/Data/List/Sort.olean
  215. lib/lean/Init/Data/List/Sort/Basic.ilean
  216. lib/lean/Init/Data/List/Sort/Basic.olean
  217. lib/lean/Init/Data/List/Sort/Impl.ilean
  218. lib/lean/Init/Data/List/Sort/Impl.olean
  219. lib/lean/Init/Data/List/Sort/Lemmas.ilean
  220. lib/lean/Init/Data/List/Sort/Lemmas.olean
  221. lib/lean/Init/Data/List/Sublist.ilean
  222. lib/lean/Init/Data/List/Sublist.olean
  223. lib/lean/Init/Data/List/TakeDrop.ilean
  224. lib/lean/Init/Data/List/TakeDrop.olean
  225. lib/lean/Init/Data/List/Zip.ilean
  226. lib/lean/Init/Data/List/Zip.olean
  227. lib/lean/Init/Data/Nat.ilean
  228. lib/lean/Init/Data/Nat.olean
  229. lib/lean/Init/Data/Nat/Basic.ilean
  230. lib/lean/Init/Data/Nat/Basic.olean
  231. lib/lean/Init/Data/Nat/Bitwise.ilean
  232. lib/lean/Init/Data/Nat/Bitwise.olean
  233. lib/lean/Init/Data/Nat/Bitwise/Basic.ilean
  234. lib/lean/Init/Data/Nat/Bitwise/Basic.olean
  235. lib/lean/Init/Data/Nat/Bitwise/Lemmas.ilean
  236. lib/lean/Init/Data/Nat/Bitwise/Lemmas.olean
  237. lib/lean/Init/Data/Nat/Compare.ilean
  238. lib/lean/Init/Data/Nat/Compare.olean
  239. lib/lean/Init/Data/Nat/Control.ilean
  240. lib/lean/Init/Data/Nat/Control.olean
  241. lib/lean/Init/Data/Nat/Div.ilean
  242. lib/lean/Init/Data/Nat/Div.olean
  243. lib/lean/Init/Data/Nat/Dvd.ilean
  244. lib/lean/Init/Data/Nat/Dvd.olean
  245. lib/lean/Init/Data/Nat/Gcd.ilean
  246. lib/lean/Init/Data/Nat/Gcd.olean
  247. lib/lean/Init/Data/Nat/Lcm.ilean
  248. lib/lean/Init/Data/Nat/Lcm.olean
  249. lib/lean/Init/Data/Nat/Lemmas.ilean
  250. lib/lean/Init/Data/Nat/Lemmas.olean
  251. lib/lean/Init/Data/Nat/Linear.ilean
  252. lib/lean/Init/Data/Nat/Linear.olean
  253. lib/lean/Init/Data/Nat/Log2.ilean
  254. lib/lean/Init/Data/Nat/Log2.olean
  255. lib/lean/Init/Data/Nat/MinMax.ilean
  256. lib/lean/Init/Data/Nat/MinMax.olean
  257. lib/lean/Init/Data/Nat/Mod.ilean
  258. lib/lean/Init/Data/Nat/Mod.olean
  259. lib/lean/Init/Data/Nat/Power2.ilean
  260. lib/lean/Init/Data/Nat/Power2.olean
  261. lib/lean/Init/Data/Nat/SOM.ilean
  262. lib/lean/Init/Data/Nat/SOM.olean
  263. lib/lean/Init/Data/Nat/Simproc.ilean
  264. lib/lean/Init/Data/Nat/Simproc.olean
  265. lib/lean/Init/Data/OfScientific.ilean
  266. lib/lean/Init/Data/OfScientific.olean
  267. lib/lean/Init/Data/Option.ilean
  268. lib/lean/Init/Data/Option.olean
  269. lib/lean/Init/Data/Option/Basic.ilean
  270. lib/lean/Init/Data/Option/Basic.olean
  271. lib/lean/Init/Data/Option/BasicAux.ilean
  272. lib/lean/Init/Data/Option/BasicAux.olean
  273. lib/lean/Init/Data/Option/Instances.ilean
  274. lib/lean/Init/Data/Option/Instances.olean
  275. lib/lean/Init/Data/Option/Lemmas.ilean
  276. lib/lean/Init/Data/Option/Lemmas.olean
  277. lib/lean/Init/Data/Ord.ilean
  278. lib/lean/Init/Data/Ord.olean
  279. lib/lean/Init/Data/PLift.ilean
  280. lib/lean/Init/Data/PLift.olean
  281. lib/lean/Init/Data/Prod.ilean
  282. lib/lean/Init/Data/Prod.olean
  283. lib/lean/Init/Data/Queue.ilean
  284. lib/lean/Init/Data/Queue.olean
  285. lib/lean/Init/Data/Random.ilean
  286. lib/lean/Init/Data/Random.olean
  287. lib/lean/Init/Data/Range.ilean
  288. lib/lean/Init/Data/Range.olean
  289. lib/lean/Init/Data/Repr.ilean
  290. lib/lean/Init/Data/Repr.olean
  291. lib/lean/Init/Data/Stream.ilean
  292. lib/lean/Init/Data/Stream.olean
  293. lib/lean/Init/Data/String.ilean
  294. lib/lean/Init/Data/String.olean
  295. lib/lean/Init/Data/String/Basic.ilean
  296. lib/lean/Init/Data/String/Basic.olean
  297. lib/lean/Init/Data/String/Extra.ilean
  298. lib/lean/Init/Data/String/Extra.olean
  299. lib/lean/Init/Data/String/Lemmas.ilean
  300. lib/lean/Init/Data/String/Lemmas.olean
  301. lib/lean/Init/Data/Subtype.ilean
  302. lib/lean/Init/Data/Subtype.olean
  303. lib/lean/Init/Data/Sum.ilean
  304. lib/lean/Init/Data/Sum.olean
  305. lib/lean/Init/Data/ToString.ilean
  306. lib/lean/Init/Data/ToString.olean
  307. lib/lean/Init/Data/ToString/Basic.ilean
  308. lib/lean/Init/Data/ToString/Basic.olean
  309. lib/lean/Init/Data/ToString/Macro.ilean
  310. lib/lean/Init/Data/ToString/Macro.olean
  311. lib/lean/Init/Data/UInt.ilean
  312. lib/lean/Init/Data/UInt.olean
  313. lib/lean/Init/Data/UInt/Basic.ilean
  314. lib/lean/Init/Data/UInt/Basic.olean
  315. lib/lean/Init/Data/UInt/Bitwise.ilean
  316. lib/lean/Init/Data/UInt/Bitwise.olean
  317. lib/lean/Init/Data/UInt/Lemmas.ilean
  318. lib/lean/Init/Data/UInt/Lemmas.olean
  319. lib/lean/Init/Data/UInt/Log2.ilean
  320. lib/lean/Init/Data/UInt/Log2.olean
  321. lib/lean/Init/Data/ULift.ilean
  322. lib/lean/Init/Data/ULift.olean
  323. lib/lean/Init/Dynamic.ilean
  324. lib/lean/Init/Dynamic.olean
  325. lib/lean/Init/Ext.ilean
  326. lib/lean/Init/Ext.olean
  327. lib/lean/Init/GetElem.ilean
  328. lib/lean/Init/GetElem.olean
  329. lib/lean/Init/Grind.ilean
  330. lib/lean/Init/Grind.olean
  331. lib/lean/Init/Grind/Cases.ilean
  332. lib/lean/Init/Grind/Cases.olean
  333. lib/lean/Init/Grind/Lemmas.ilean
  334. lib/lean/Init/Grind/Lemmas.olean
  335. lib/lean/Init/Grind/Norm.ilean
  336. lib/lean/Init/Grind/Norm.olean
  337. lib/lean/Init/Grind/Tactics.ilean
  338. lib/lean/Init/Grind/Tactics.olean
  339. lib/lean/Init/Guard.ilean
  340. lib/lean/Init/Guard.olean
  341. lib/lean/Init/Hints.ilean
  342. lib/lean/Init/Hints.olean
  343. lib/lean/Init/MacroTrace.ilean
  344. lib/lean/Init/MacroTrace.olean
  345. lib/lean/Init/Meta.ilean
  346. lib/lean/Init/Meta.olean
  347. lib/lean/Init/MetaTypes.ilean
  348. lib/lean/Init/MetaTypes.olean
  349. lib/lean/Init/Notation.ilean
  350. lib/lean/Init/Notation.olean
  351. lib/lean/Init/NotationExtra.ilean
  352. lib/lean/Init/NotationExtra.olean
  353. lib/lean/Init/Omega.ilean
  354. lib/lean/Init/Omega.olean
  355. lib/lean/Init/Omega/Coeffs.ilean
  356. lib/lean/Init/Omega/Coeffs.olean
  357. lib/lean/Init/Omega/Constraint.ilean
  358. lib/lean/Init/Omega/Constraint.olean
  359. lib/lean/Init/Omega/Int.ilean
  360. lib/lean/Init/Omega/Int.olean
  361. lib/lean/Init/Omega/IntList.ilean
  362. lib/lean/Init/Omega/IntList.olean
  363. lib/lean/Init/Omega/LinearCombo.ilean
  364. lib/lean/Init/Omega/LinearCombo.olean
  365. lib/lean/Init/Omega/Logic.ilean
  366. lib/lean/Init/Omega/Logic.olean
  367. lib/lean/Init/Prelude.ilean
  368. lib/lean/Init/Prelude.olean
  369. lib/lean/Init/PropLemmas.ilean
  370. lib/lean/Init/PropLemmas.olean
  371. lib/lean/Init/RCases.ilean
  372. lib/lean/Init/RCases.olean
  373. lib/lean/Init/ShareCommon.ilean
  374. lib/lean/Init/ShareCommon.olean
  375. lib/lean/Init/SimpLemmas.ilean
  376. lib/lean/Init/SimpLemmas.olean
  377. lib/lean/Init/Simproc.ilean
  378. lib/lean/Init/Simproc.olean
  379. lib/lean/Init/SizeOf.ilean
  380. lib/lean/Init/SizeOf.olean
  381. lib/lean/Init/SizeOfLemmas.ilean
  382. lib/lean/Init/SizeOfLemmas.olean
  383. lib/lean/Init/System.ilean
  384. lib/lean/Init/System.olean
  385. lib/lean/Init/System/FilePath.ilean
  386. lib/lean/Init/System/FilePath.olean
  387. lib/lean/Init/System/IO.ilean
  388. lib/lean/Init/System/IO.olean
  389. lib/lean/Init/System/IOError.ilean
  390. lib/lean/Init/System/IOError.olean
  391. lib/lean/Init/System/Mutex.ilean
  392. lib/lean/Init/System/Mutex.olean
  393. lib/lean/Init/System/Platform.ilean
  394. lib/lean/Init/System/Platform.olean
  395. lib/lean/Init/System/Promise.ilean
  396. lib/lean/Init/System/Promise.olean
  397. lib/lean/Init/System/ST.ilean
  398. lib/lean/Init/System/ST.olean
  399. lib/lean/Init/System/Uri.ilean
  400. lib/lean/Init/System/Uri.olean
  401. lib/lean/Init/Tactics.ilean
  402. lib/lean/Init/Tactics.olean
  403. lib/lean/Init/TacticsExtra.ilean
  404. lib/lean/Init/TacticsExtra.olean
  405. lib/lean/Init/Util.ilean
  406. lib/lean/Init/Util.olean
  407. lib/lean/Init/WF.ilean
  408. lib/lean/Init/WF.olean
  409. lib/lean/Init/WFTactics.ilean
  410. lib/lean/Init/WFTactics.olean
  411. lib/lean/Lake.ilean
  412. lib/lean/Lake.olean
  413. lib/lean/Lake/Build.ilean
  414. lib/lean/Lake/Build.olean
  415. lib/lean/Lake/Build/Actions.ilean
  416. lib/lean/Lake/Build/Actions.olean
  417. lib/lean/Lake/Build/Basic.ilean
  418. lib/lean/Lake/Build/Basic.olean
  419. lib/lean/Lake/Build/Common.ilean
  420. lib/lean/Lake/Build/Common.olean
  421. lib/lean/Lake/Build/Data.ilean
  422. lib/lean/Lake/Build/Data.olean
  423. lib/lean/Lake/Build/Executable.ilean
  424. lib/lean/Lake/Build/Executable.olean
  425. lib/lean/Lake/Build/Facets.ilean
  426. lib/lean/Lake/Build/Facets.olean
  427. lib/lean/Lake/Build/Fetch.ilean
  428. lib/lean/Lake/Build/Fetch.olean
  429. lib/lean/Lake/Build/Imports.ilean
  430. lib/lean/Lake/Build/Imports.olean
  431. lib/lean/Lake/Build/Index.ilean
  432. lib/lean/Lake/Build/Index.olean
  433. lib/lean/Lake/Build/Info.ilean
  434. lib/lean/Lake/Build/Info.olean
  435. lib/lean/Lake/Build/Job.ilean
  436. lib/lean/Lake/Build/Job.olean
  437. lib/lean/Lake/Build/Key.ilean
  438. lib/lean/Lake/Build/Key.olean
  439. lib/lean/Lake/Build/Library.ilean
  440. lib/lean/Lake/Build/Library.olean
  441. lib/lean/Lake/Build/Module.ilean
  442. lib/lean/Lake/Build/Module.olean
  443. lib/lean/Lake/Build/Package.ilean
  444. lib/lean/Lake/Build/Package.olean
  445. lib/lean/Lake/Build/Run.ilean
  446. lib/lean/Lake/Build/Run.olean
  447. lib/lean/Lake/Build/Store.ilean
  448. lib/lean/Lake/Build/Store.olean
  449. lib/lean/Lake/Build/Targets.ilean
  450. lib/lean/Lake/Build/Targets.olean
  451. lib/lean/Lake/Build/Topological.ilean
  452. lib/lean/Lake/Build/Topological.olean
  453. lib/lean/Lake/Build/Trace.ilean
  454. lib/lean/Lake/Build/Trace.olean
  455. lib/lean/Lake/CLI.ilean
  456. lib/lean/Lake/CLI.olean
  457. lib/lean/Lake/CLI/Actions.ilean
  458. lib/lean/Lake/CLI/Actions.olean
  459. lib/lean/Lake/CLI/Build.ilean
  460. lib/lean/Lake/CLI/Build.olean
  461. lib/lean/Lake/CLI/Error.ilean
  462. lib/lean/Lake/CLI/Error.olean
  463. lib/lean/Lake/CLI/Help.ilean
  464. lib/lean/Lake/CLI/Help.olean
  465. lib/lean/Lake/CLI/Init.ilean
  466. lib/lean/Lake/CLI/Init.olean
  467. lib/lean/Lake/CLI/Main.ilean
  468. lib/lean/Lake/CLI/Main.olean
  469. lib/lean/Lake/CLI/Serve.ilean
  470. lib/lean/Lake/CLI/Serve.olean
  471. lib/lean/Lake/CLI/Translate.ilean
  472. lib/lean/Lake/CLI/Translate.olean
  473. lib/lean/Lake/CLI/Translate/Lean.ilean
  474. lib/lean/Lake/CLI/Translate/Lean.olean
  475. lib/lean/Lake/CLI/Translate/Toml.ilean
  476. lib/lean/Lake/CLI/Translate/Toml.olean
  477. lib/lean/Lake/Config.ilean
  478. lib/lean/Lake/Config.olean
  479. lib/lean/Lake/Config/Context.ilean
  480. lib/lean/Lake/Config/Context.olean
  481. lib/lean/Lake/Config/Defaults.ilean
  482. lib/lean/Lake/Config/Defaults.olean
  483. lib/lean/Lake/Config/Dependency.ilean
  484. lib/lean/Lake/Config/Dependency.olean
  485. lib/lean/Lake/Config/Env.ilean
  486. lib/lean/Lake/Config/Env.olean
  487. lib/lean/Lake/Config/ExternLib.ilean
  488. lib/lean/Lake/Config/ExternLib.olean
  489. lib/lean/Lake/Config/ExternLibConfig.ilean
  490. lib/lean/Lake/Config/ExternLibConfig.olean
  491. lib/lean/Lake/Config/FacetConfig.ilean
  492. lib/lean/Lake/Config/FacetConfig.olean
  493. lib/lean/Lake/Config/Glob.ilean
  494. lib/lean/Lake/Config/Glob.olean
  495. lib/lean/Lake/Config/InstallPath.ilean
  496. lib/lean/Lake/Config/InstallPath.olean
  497. lib/lean/Lake/Config/Lang.ilean
  498. lib/lean/Lake/Config/Lang.olean
  499. lib/lean/Lake/Config/LeanConfig.ilean
  500. lib/lean/Lake/Config/LeanConfig.olean
  501. lib/lean/Lake/Config/LeanExe.ilean
  502. lib/lean/Lake/Config/LeanExe.olean
  503. lib/lean/Lake/Config/LeanExeConfig.ilean
  504. lib/lean/Lake/Config/LeanExeConfig.olean
  505. lib/lean/Lake/Config/LeanLib.ilean
  506. lib/lean/Lake/Config/LeanLib.olean
  507. lib/lean/Lake/Config/LeanLibConfig.ilean
  508. lib/lean/Lake/Config/LeanLibConfig.olean
  509. lib/lean/Lake/Config/Module.ilean
  510. lib/lean/Lake/Config/Module.olean
  511. lib/lean/Lake/Config/Monad.ilean
  512. lib/lean/Lake/Config/Monad.olean
  513. lib/lean/Lake/Config/Opaque.ilean
  514. lib/lean/Lake/Config/Opaque.olean
  515. lib/lean/Lake/Config/Package.ilean
  516. lib/lean/Lake/Config/Package.olean
  517. lib/lean/Lake/Config/Script.ilean
  518. lib/lean/Lake/Config/Script.olean
  519. lib/lean/Lake/Config/TargetConfig.ilean
  520. lib/lean/Lake/Config/TargetConfig.olean
  521. lib/lean/Lake/Config/Workspace.ilean
  522. lib/lean/Lake/Config/Workspace.olean
  523. lib/lean/Lake/Config/WorkspaceConfig.ilean
  524. lib/lean/Lake/Config/WorkspaceConfig.olean
  525. lib/lean/Lake/DSL.ilean
  526. lib/lean/Lake/DSL.olean
  527. lib/lean/Lake/DSL/Attributes.ilean
  528. lib/lean/Lake/DSL/Attributes.olean
  529. lib/lean/Lake/DSL/AttributesCore.ilean
  530. lib/lean/Lake/DSL/AttributesCore.olean
  531. lib/lean/Lake/DSL/Config.ilean
  532. lib/lean/Lake/DSL/Config.olean
  533. lib/lean/Lake/DSL/DeclUtil.ilean
  534. lib/lean/Lake/DSL/DeclUtil.olean
  535. lib/lean/Lake/DSL/Extensions.ilean
  536. lib/lean/Lake/DSL/Extensions.olean
  537. lib/lean/Lake/DSL/Meta.ilean
  538. lib/lean/Lake/DSL/Meta.olean
  539. lib/lean/Lake/DSL/Package.ilean
  540. lib/lean/Lake/DSL/Package.olean
  541. lib/lean/Lake/DSL/Require.ilean
  542. lib/lean/Lake/DSL/Require.olean
  543. lib/lean/Lake/DSL/Script.ilean
  544. lib/lean/Lake/DSL/Script.olean
  545. lib/lean/Lake/DSL/Targets.ilean
  546. lib/lean/Lake/DSL/Targets.olean
  547. lib/lean/Lake/Load.ilean
  548. lib/lean/Lake/Load.olean
  549. lib/lean/Lake/Load/Config.ilean
  550. lib/lean/Lake/Load/Config.olean
  551. lib/lean/Lake/Load/Lean.ilean
  552. lib/lean/Lake/Load/Lean.olean
  553. lib/lean/Lake/Load/Lean/Elab.ilean
  554. lib/lean/Lake/Load/Lean/Elab.olean
  555. lib/lean/Lake/Load/Lean/Eval.ilean
  556. lib/lean/Lake/Load/Lean/Eval.olean
  557. lib/lean/Lake/Load/Manifest.ilean
  558. lib/lean/Lake/Load/Manifest.olean
  559. lib/lean/Lake/Load/Materialize.ilean
  560. lib/lean/Lake/Load/Materialize.olean
  561. lib/lean/Lake/Load/Package.ilean
  562. lib/lean/Lake/Load/Package.olean
  563. lib/lean/Lake/Load/Resolve.ilean
  564. lib/lean/Lake/Load/Resolve.olean
  565. lib/lean/Lake/Load/Toml.ilean
  566. lib/lean/Lake/Load/Toml.olean
  567. lib/lean/Lake/Load/Workspace.ilean
  568. lib/lean/Lake/Load/Workspace.olean
  569. lib/lean/Lake/Main.ilean
  570. lib/lean/Lake/Main.olean
  571. lib/lean/Lake/Reservoir.ilean
  572. lib/lean/Lake/Reservoir.olean
  573. lib/lean/Lake/Toml.ilean
  574. lib/lean/Lake/Toml.olean
  575. lib/lean/Lake/Toml/Data.ilean
  576. lib/lean/Lake/Toml/Data.olean
  577. lib/lean/Lake/Toml/Data/DateTime.ilean
  578. lib/lean/Lake/Toml/Data/DateTime.olean
  579. lib/lean/Lake/Toml/Data/Dict.ilean
  580. lib/lean/Lake/Toml/Data/Dict.olean
  581. lib/lean/Lake/Toml/Data/Value.ilean
  582. lib/lean/Lake/Toml/Data/Value.olean
  583. lib/lean/Lake/Toml/Decode.ilean
  584. lib/lean/Lake/Toml/Decode.olean
  585. lib/lean/Lake/Toml/Elab.ilean
  586. lib/lean/Lake/Toml/Elab.olean
  587. lib/lean/Lake/Toml/Elab/Expression.ilean
  588. lib/lean/Lake/Toml/Elab/Expression.olean
  589. lib/lean/Lake/Toml/Elab/Value.ilean
  590. lib/lean/Lake/Toml/Elab/Value.olean
  591. lib/lean/Lake/Toml/Encode.ilean
  592. lib/lean/Lake/Toml/Encode.olean
  593. lib/lean/Lake/Toml/Grammar.ilean
  594. lib/lean/Lake/Toml/Grammar.olean
  595. lib/lean/Lake/Toml/Load.ilean
  596. lib/lean/Lake/Toml/Load.olean
  597. lib/lean/Lake/Toml/ParserUtil.ilean
  598. lib/lean/Lake/Toml/ParserUtil.olean
  599. lib/lean/Lake/Util/Binder.ilean
  600. lib/lean/Lake/Util/Binder.olean
  601. lib/lean/Lake/Util/Casing.ilean
  602. lib/lean/Lake/Util/Casing.olean
  603. lib/lean/Lake/Util/Cli.ilean
  604. lib/lean/Lake/Util/Cli.olean
  605. lib/lean/Lake/Util/Compare.ilean
  606. lib/lean/Lake/Util/Compare.olean
  607. lib/lean/Lake/Util/Cycle.ilean
  608. lib/lean/Lake/Util/Cycle.olean
  609. lib/lean/Lake/Util/DRBMap.ilean
  610. lib/lean/Lake/Util/DRBMap.olean
  611. lib/lean/Lake/Util/EStateT.ilean
  612. lib/lean/Lake/Util/EStateT.olean
  613. lib/lean/Lake/Util/EquipT.ilean
  614. lib/lean/Lake/Util/EquipT.olean
  615. lib/lean/Lake/Util/Error.ilean
  616. lib/lean/Lake/Util/Error.olean
  617. lib/lean/Lake/Util/Exit.ilean
  618. lib/lean/Lake/Util/Exit.olean
  619. lib/lean/Lake/Util/Family.ilean
  620. lib/lean/Lake/Util/Family.olean
  621. lib/lean/Lake/Util/FilePath.ilean
  622. lib/lean/Lake/Util/FilePath.olean
  623. lib/lean/Lake/Util/Git.ilean
  624. lib/lean/Lake/Util/Git.olean
  625. lib/lean/Lake/Util/IO.ilean
  626. lib/lean/Lake/Util/IO.olean
  627. lib/lean/Lake/Util/JsonObject.ilean
  628. lib/lean/Lake/Util/JsonObject.olean
  629. lib/lean/Lake/Util/Lift.ilean
  630. lib/lean/Lake/Util/Lift.olean
  631. lib/lean/Lake/Util/List.ilean
  632. lib/lean/Lake/Util/List.olean
  633. lib/lean/Lake/Util/Lock.ilean
  634. lib/lean/Lake/Util/Lock.olean
  635. lib/lean/Lake/Util/Log.ilean
  636. lib/lean/Lake/Util/Log.olean
  637. lib/lean/Lake/Util/MainM.ilean
  638. lib/lean/Lake/Util/MainM.olean
  639. lib/lean/Lake/Util/Message.ilean
  640. lib/lean/Lake/Util/Message.olean
  641. lib/lean/Lake/Util/Name.ilean
  642. lib/lean/Lake/Util/Name.olean
  643. lib/lean/Lake/Util/NativeLib.ilean
  644. lib/lean/Lake/Util/NativeLib.olean
  645. lib/lean/Lake/Util/Opaque.ilean
  646. lib/lean/Lake/Util/Opaque.olean
  647. lib/lean/Lake/Util/OrdHashSet.ilean
  648. lib/lean/Lake/Util/OrdHashSet.olean
  649. lib/lean/Lake/Util/OrderedTagAttribute.ilean
  650. lib/lean/Lake/Util/OrderedTagAttribute.olean
  651. lib/lean/Lake/Util/Proc.ilean
  652. lib/lean/Lake/Util/Proc.olean
  653. lib/lean/Lake/Util/RBArray.ilean
  654. lib/lean/Lake/Util/RBArray.olean
  655. lib/lean/Lake/Util/Store.ilean
  656. lib/lean/Lake/Util/Store.olean
  657. lib/lean/Lake/Util/StoreInsts.ilean
  658. lib/lean/Lake/Util/StoreInsts.olean
  659. lib/lean/Lake/Util/Sugar.ilean
  660. lib/lean/Lake/Util/Sugar.olean
  661. lib/lean/Lake/Util/Task.ilean
  662. lib/lean/Lake/Util/Task.olean
  663. lib/lean/Lake/Util/Version.ilean
  664. lib/lean/Lake/Util/Version.olean
  665. lib/lean/Lake/Version.ilean
  666. lib/lean/Lake/Version.olean
  667. lib/lean/Lean.ilean
  668. lib/lean/Lean.olean
  669. lib/lean/Lean/AddDecl.ilean
  670. lib/lean/Lean/AddDecl.olean
  671. lib/lean/Lean/Attributes.ilean
  672. lib/lean/Lean/Attributes.olean
  673. lib/lean/Lean/AuxRecursor.ilean
  674. lib/lean/Lean/AuxRecursor.olean
  675. lib/lean/Lean/BuiltinDocAttr.ilean
  676. lib/lean/Lean/BuiltinDocAttr.olean
  677. lib/lean/Lean/Class.ilean
  678. lib/lean/Lean/Class.olean
  679. lib/lean/Lean/Compiler.ilean
  680. lib/lean/Lean/Compiler.olean
  681. lib/lean/Lean/Compiler/AtMostOnce.ilean
  682. lib/lean/Lean/Compiler/AtMostOnce.olean
  683. lib/lean/Lean/Compiler/BorrowedAnnotation.ilean
  684. lib/lean/Lean/Compiler/BorrowedAnnotation.olean
  685. lib/lean/Lean/Compiler/CSimpAttr.ilean
  686. lib/lean/Lean/Compiler/CSimpAttr.olean
  687. lib/lean/Lean/Compiler/ClosedTermCache.ilean
  688. lib/lean/Lean/Compiler/ClosedTermCache.olean
  689. lib/lean/Lean/Compiler/ConstFolding.ilean
  690. lib/lean/Lean/Compiler/ConstFolding.olean
  691. lib/lean/Lean/Compiler/ExportAttr.ilean
  692. lib/lean/Lean/Compiler/ExportAttr.olean
  693. lib/lean/Lean/Compiler/ExternAttr.ilean
  694. lib/lean/Lean/Compiler/ExternAttr.olean
  695. lib/lean/Lean/Compiler/FFI.ilean
  696. lib/lean/Lean/Compiler/FFI.olean
  697. lib/lean/Lean/Compiler/IR.ilean
  698. lib/lean/Lean/Compiler/IR.olean
  699. lib/lean/Lean/Compiler/IR/Basic.ilean
  700. lib/lean/Lean/Compiler/IR/Basic.olean
  701. lib/lean/Lean/Compiler/IR/Borrow.ilean
  702. lib/lean/Lean/Compiler/IR/Borrow.olean
  703. lib/lean/Lean/Compiler/IR/Boxing.ilean
  704. lib/lean/Lean/Compiler/IR/Boxing.olean
  705. lib/lean/Lean/Compiler/IR/Checker.ilean
  706. lib/lean/Lean/Compiler/IR/Checker.olean
  707. lib/lean/Lean/Compiler/IR/CompilerM.ilean
  708. lib/lean/Lean/Compiler/IR/CompilerM.olean
  709. lib/lean/Lean/Compiler/IR/CtorLayout.ilean
  710. lib/lean/Lean/Compiler/IR/CtorLayout.olean
  711. lib/lean/Lean/Compiler/IR/ElimDeadBranches.ilean
  712. lib/lean/Lean/Compiler/IR/ElimDeadBranches.olean
  713. lib/lean/Lean/Compiler/IR/ElimDeadVars.ilean
  714. lib/lean/Lean/Compiler/IR/ElimDeadVars.olean
  715. lib/lean/Lean/Compiler/IR/EmitC.ilean
  716. lib/lean/Lean/Compiler/IR/EmitC.olean
  717. lib/lean/Lean/Compiler/IR/EmitLLVM.ilean
  718. lib/lean/Lean/Compiler/IR/EmitLLVM.olean
  719. lib/lean/Lean/Compiler/IR/EmitUtil.ilean
  720. lib/lean/Lean/Compiler/IR/EmitUtil.olean
  721. lib/lean/Lean/Compiler/IR/ExpandResetReuse.ilean
  722. lib/lean/Lean/Compiler/IR/ExpandResetReuse.olean
  723. lib/lean/Lean/Compiler/IR/Format.ilean
  724. lib/lean/Lean/Compiler/IR/Format.olean
  725. lib/lean/Lean/Compiler/IR/FreeVars.ilean
  726. lib/lean/Lean/Compiler/IR/FreeVars.olean
  727. lib/lean/Lean/Compiler/IR/LLVMBindings.ilean
  728. lib/lean/Lean/Compiler/IR/LLVMBindings.olean
  729. lib/lean/Lean/Compiler/IR/LiveVars.ilean
  730. lib/lean/Lean/Compiler/IR/LiveVars.olean
  731. lib/lean/Lean/Compiler/IR/NormIds.ilean
  732. lib/lean/Lean/Compiler/IR/NormIds.olean
  733. lib/lean/Lean/Compiler/IR/PushProj.ilean
  734. lib/lean/Lean/Compiler/IR/PushProj.olean
  735. lib/lean/Lean/Compiler/IR/RC.ilean
  736. lib/lean/Lean/Compiler/IR/RC.olean
  737. lib/lean/Lean/Compiler/IR/ResetReuse.ilean
  738. lib/lean/Lean/Compiler/IR/ResetReuse.olean
  739. lib/lean/Lean/Compiler/IR/SimpCase.ilean
  740. lib/lean/Lean/Compiler/IR/SimpCase.olean
  741. lib/lean/Lean/Compiler/IR/Sorry.ilean
  742. lib/lean/Lean/Compiler/IR/Sorry.olean
  743. lib/lean/Lean/Compiler/IR/UnboxResult.ilean
  744. lib/lean/Lean/Compiler/IR/UnboxResult.olean
  745. lib/lean/Lean/Compiler/ImplementedByAttr.ilean
  746. lib/lean/Lean/Compiler/ImplementedByAttr.olean
  747. lib/lean/Lean/Compiler/InitAttr.ilean
  748. lib/lean/Lean/Compiler/InitAttr.olean
  749. lib/lean/Lean/Compiler/InlineAttrs.ilean
  750. lib/lean/Lean/Compiler/InlineAttrs.olean
  751. lib/lean/Lean/Compiler/LCNF.ilean
  752. lib/lean/Lean/Compiler/LCNF.olean
  753. lib/lean/Lean/Compiler/LCNF/AlphaEqv.ilean
  754. lib/lean/Lean/Compiler/LCNF/AlphaEqv.olean
  755. lib/lean/Lean/Compiler/LCNF/AuxDeclCache.ilean
  756. lib/lean/Lean/Compiler/LCNF/AuxDeclCache.olean
  757. lib/lean/Lean/Compiler/LCNF/BaseTypes.ilean
  758. lib/lean/Lean/Compiler/LCNF/BaseTypes.olean
  759. lib/lean/Lean/Compiler/LCNF/Basic.ilean
  760. lib/lean/Lean/Compiler/LCNF/Basic.olean
  761. lib/lean/Lean/Compiler/LCNF/Bind.ilean
  762. lib/lean/Lean/Compiler/LCNF/Bind.olean
  763. lib/lean/Lean/Compiler/LCNF/CSE.ilean
  764. lib/lean/Lean/Compiler/LCNF/CSE.olean
  765. lib/lean/Lean/Compiler/LCNF/Check.ilean
  766. lib/lean/Lean/Compiler/LCNF/Check.olean
  767. lib/lean/Lean/Compiler/LCNF/Closure.ilean
  768. lib/lean/Lean/Compiler/LCNF/Closure.olean
  769. lib/lean/Lean/Compiler/LCNF/CompatibleTypes.ilean
  770. lib/lean/Lean/Compiler/LCNF/CompatibleTypes.olean
  771. lib/lean/Lean/Compiler/LCNF/CompilerM.ilean
  772. lib/lean/Lean/Compiler/LCNF/CompilerM.olean
  773. lib/lean/Lean/Compiler/LCNF/ConfigOptions.ilean
  774. lib/lean/Lean/Compiler/LCNF/ConfigOptions.olean
  775. lib/lean/Lean/Compiler/LCNF/DeclHash.ilean
  776. lib/lean/Lean/Compiler/LCNF/DeclHash.olean
  777. lib/lean/Lean/Compiler/LCNF/DependsOn.ilean
  778. lib/lean/Lean/Compiler/LCNF/DependsOn.olean
  779. lib/lean/Lean/Compiler/LCNF/ElimDead.ilean
  780. lib/lean/Lean/Compiler/LCNF/ElimDead.olean
  781. lib/lean/Lean/Compiler/LCNF/ElimDeadBranches.ilean
  782. lib/lean/Lean/Compiler/LCNF/ElimDeadBranches.olean
  783. lib/lean/Lean/Compiler/LCNF/FVarUtil.ilean
  784. lib/lean/Lean/Compiler/LCNF/FVarUtil.olean
  785. lib/lean/Lean/Compiler/LCNF/FixedParams.ilean
  786. lib/lean/Lean/Compiler/LCNF/FixedParams.olean
  787. lib/lean/Lean/Compiler/LCNF/FloatLetIn.ilean
  788. lib/lean/Lean/Compiler/LCNF/FloatLetIn.olean
  789. lib/lean/Lean/Compiler/LCNF/ForEachExpr.ilean
  790. lib/lean/Lean/Compiler/LCNF/ForEachExpr.olean
  791. lib/lean/Lean/Compiler/LCNF/InferType.ilean
  792. lib/lean/Lean/Compiler/LCNF/InferType.olean
  793. lib/lean/Lean/Compiler/LCNF/Internalize.ilean
  794. lib/lean/Lean/Compiler/LCNF/Internalize.olean
  795. lib/lean/Lean/Compiler/LCNF/JoinPoints.ilean
  796. lib/lean/Lean/Compiler/LCNF/JoinPoints.olean
  797. lib/lean/Lean/Compiler/LCNF/LCtx.ilean
  798. lib/lean/Lean/Compiler/LCNF/LCtx.olean
  799. lib/lean/Lean/Compiler/LCNF/LambdaLifting.ilean
  800. lib/lean/Lean/Compiler/LCNF/LambdaLifting.olean
  801. lib/lean/Lean/Compiler/LCNF/Level.ilean
  802. lib/lean/Lean/Compiler/LCNF/Level.olean
  803. lib/lean/Lean/Compiler/LCNF/Main.ilean
  804. lib/lean/Lean/Compiler/LCNF/Main.olean
  805. lib/lean/Lean/Compiler/LCNF/MonadScope.ilean
  806. lib/lean/Lean/Compiler/LCNF/MonadScope.olean
  807. lib/lean/Lean/Compiler/LCNF/MonoTypes.ilean
  808. lib/lean/Lean/Compiler/LCNF/MonoTypes.olean
  809. lib/lean/Lean/Compiler/LCNF/OtherDecl.ilean
  810. lib/lean/Lean/Compiler/LCNF/OtherDecl.olean
  811. lib/lean/Lean/Compiler/LCNF/PassManager.ilean
  812. lib/lean/Lean/Compiler/LCNF/PassManager.olean
  813. lib/lean/Lean/Compiler/LCNF/Passes.ilean
  814. lib/lean/Lean/Compiler/LCNF/Passes.olean
  815. lib/lean/Lean/Compiler/LCNF/PhaseExt.ilean
  816. lib/lean/Lean/Compiler/LCNF/PhaseExt.olean
  817. lib/lean/Lean/Compiler/LCNF/PrettyPrinter.ilean
  818. lib/lean/Lean/Compiler/LCNF/PrettyPrinter.olean
  819. lib/lean/Lean/Compiler/LCNF/Probing.ilean
  820. lib/lean/Lean/Compiler/LCNF/Probing.olean
  821. lib/lean/Lean/Compiler/LCNF/PullFunDecls.ilean
  822. lib/lean/Lean/Compiler/LCNF/PullFunDecls.olean
  823. lib/lean/Lean/Compiler/LCNF/PullLetDecls.ilean
  824. lib/lean/Lean/Compiler/LCNF/PullLetDecls.olean
  825. lib/lean/Lean/Compiler/LCNF/ReduceArity.ilean
  826. lib/lean/Lean/Compiler/LCNF/ReduceArity.olean
  827. lib/lean/Lean/Compiler/LCNF/ReduceJpArity.ilean
  828. lib/lean/Lean/Compiler/LCNF/ReduceJpArity.olean
  829. lib/lean/Lean/Compiler/LCNF/Renaming.ilean
  830. lib/lean/Lean/Compiler/LCNF/Renaming.olean
  831. lib/lean/Lean/Compiler/LCNF/ScopeM.ilean
  832. lib/lean/Lean/Compiler/LCNF/ScopeM.olean
  833. lib/lean/Lean/Compiler/LCNF/Simp.ilean
  834. lib/lean/Lean/Compiler/LCNF/Simp.olean
  835. lib/lean/Lean/Compiler/LCNF/Simp/Basic.ilean
  836. lib/lean/Lean/Compiler/LCNF/Simp/Basic.olean
  837. lib/lean/Lean/Compiler/LCNF/Simp/Config.ilean
  838. lib/lean/Lean/Compiler/LCNF/Simp/Config.olean
  839. lib/lean/Lean/Compiler/LCNF/Simp/ConstantFold.ilean
  840. lib/lean/Lean/Compiler/LCNF/Simp/ConstantFold.olean
  841. lib/lean/Lean/Compiler/LCNF/Simp/DefaultAlt.ilean
  842. lib/lean/Lean/Compiler/LCNF/Simp/DefaultAlt.olean
  843. lib/lean/Lean/Compiler/LCNF/Simp/DiscrM.ilean
  844. lib/lean/Lean/Compiler/LCNF/Simp/DiscrM.olean
  845. lib/lean/Lean/Compiler/LCNF/Simp/FunDeclInfo.ilean
  846. lib/lean/Lean/Compiler/LCNF/Simp/FunDeclInfo.olean
  847. lib/lean/Lean/Compiler/LCNF/Simp/InlineCandidate.ilean
  848. lib/lean/Lean/Compiler/LCNF/Simp/InlineCandidate.olean
  849. lib/lean/Lean/Compiler/LCNF/Simp/InlineProj.ilean
  850. lib/lean/Lean/Compiler/LCNF/Simp/InlineProj.olean
  851. lib/lean/Lean/Compiler/LCNF/Simp/JpCases.ilean
  852. lib/lean/Lean/Compiler/LCNF/Simp/JpCases.olean
  853. lib/lean/Lean/Compiler/LCNF/Simp/Main.ilean
  854. lib/lean/Lean/Compiler/LCNF/Simp/Main.olean
  855. lib/lean/Lean/Compiler/LCNF/Simp/SimpM.ilean
  856. lib/lean/Lean/Compiler/LCNF/Simp/SimpM.olean
  857. lib/lean/Lean/Compiler/LCNF/Simp/SimpValue.ilean
  858. lib/lean/Lean/Compiler/LCNF/Simp/SimpValue.olean
  859. lib/lean/Lean/Compiler/LCNF/Simp/Used.ilean
  860. lib/lean/Lean/Compiler/LCNF/Simp/Used.olean
  861. lib/lean/Lean/Compiler/LCNF/SpecInfo.ilean
  862. lib/lean/Lean/Compiler/LCNF/SpecInfo.olean
  863. lib/lean/Lean/Compiler/LCNF/Specialize.ilean
  864. lib/lean/Lean/Compiler/LCNF/Specialize.olean
  865. lib/lean/Lean/Compiler/LCNF/Testing.ilean
  866. lib/lean/Lean/Compiler/LCNF/Testing.olean
  867. lib/lean/Lean/Compiler/LCNF/ToDecl.ilean
  868. lib/lean/Lean/Compiler/LCNF/ToDecl.olean
  869. lib/lean/Lean/Compiler/LCNF/ToExpr.ilean
  870. lib/lean/Lean/Compiler/LCNF/ToExpr.olean
  871. lib/lean/Lean/Compiler/LCNF/ToLCNF.ilean
  872. lib/lean/Lean/Compiler/LCNF/ToLCNF.olean
  873. lib/lean/Lean/Compiler/LCNF/ToMono.ilean
  874. lib/lean/Lean/Compiler/LCNF/ToMono.olean
  875. lib/lean/Lean/Compiler/LCNF/Types.ilean
  876. lib/lean/Lean/Compiler/LCNF/Types.olean
  877. lib/lean/Lean/Compiler/LCNF/Util.ilean
  878. lib/lean/Lean/Compiler/LCNF/Util.olean
  879. lib/lean/Lean/Compiler/Main.ilean
  880. lib/lean/Lean/Compiler/Main.olean
  881. lib/lean/Lean/Compiler/NameMangling.ilean
  882. lib/lean/Lean/Compiler/NameMangling.olean
  883. lib/lean/Lean/Compiler/NeverExtractAttr.ilean
  884. lib/lean/Lean/Compiler/NeverExtractAttr.olean
  885. lib/lean/Lean/Compiler/NoncomputableAttr.ilean
  886. lib/lean/Lean/Compiler/NoncomputableAttr.olean
  887. lib/lean/Lean/Compiler/Old.ilean
  888. lib/lean/Lean/Compiler/Old.olean
  889. lib/lean/Lean/Compiler/Options.ilean
  890. lib/lean/Lean/Compiler/Options.olean
  891. lib/lean/Lean/Compiler/Specialize.ilean
  892. lib/lean/Lean/Compiler/Specialize.olean
  893. lib/lean/Lean/CoreM.ilean
  894. lib/lean/Lean/CoreM.olean
  895. lib/lean/Lean/Data.ilean
  896. lib/lean/Lean/Data.olean
  897. lib/lean/Lean/Data/Array.ilean
  898. lib/lean/Lean/Data/Array.olean
  899. lib/lean/Lean/Data/AssocList.ilean
  900. lib/lean/Lean/Data/AssocList.olean
  901. lib/lean/Lean/Data/Format.ilean
  902. lib/lean/Lean/Data/Format.olean
  903. lib/lean/Lean/Data/FuzzyMatching.ilean
  904. lib/lean/Lean/Data/FuzzyMatching.olean
  905. lib/lean/Lean/Data/HashMap.ilean
  906. lib/lean/Lean/Data/HashMap.olean
  907. lib/lean/Lean/Data/HashSet.ilean
  908. lib/lean/Lean/Data/HashSet.olean
  909. lib/lean/Lean/Data/Json.ilean
  910. lib/lean/Lean/Data/Json.olean
  911. lib/lean/Lean/Data/Json/Basic.ilean
  912. lib/lean/Lean/Data/Json/Basic.olean
  913. lib/lean/Lean/Data/Json/Elab.ilean
  914. lib/lean/Lean/Data/Json/Elab.olean
  915. lib/lean/Lean/Data/Json/FromToJson.ilean
  916. lib/lean/Lean/Data/Json/FromToJson.olean
  917. lib/lean/Lean/Data/Json/Parser.ilean
  918. lib/lean/Lean/Data/Json/Parser.olean
  919. lib/lean/Lean/Data/Json/Printer.ilean
  920. lib/lean/Lean/Data/Json/Printer.olean
  921. lib/lean/Lean/Data/Json/Stream.ilean
  922. lib/lean/Lean/Data/Json/Stream.olean
  923. lib/lean/Lean/Data/JsonRpc.ilean
  924. lib/lean/Lean/Data/JsonRpc.olean
  925. lib/lean/Lean/Data/KVMap.ilean
  926. lib/lean/Lean/Data/KVMap.olean
  927. lib/lean/Lean/Data/LBool.ilean
  928. lib/lean/Lean/Data/LBool.olean
  929. lib/lean/Lean/Data/LOption.ilean
  930. lib/lean/Lean/Data/LOption.olean
  931. lib/lean/Lean/Data/Lsp.ilean
  932. lib/lean/Lean/Data/Lsp.olean
  933. lib/lean/Lean/Data/Lsp/Basic.ilean
  934. lib/lean/Lean/Data/Lsp/Basic.olean
  935. lib/lean/Lean/Data/Lsp/Capabilities.ilean
  936. lib/lean/Lean/Data/Lsp/Capabilities.olean
  937. lib/lean/Lean/Data/Lsp/Client.ilean
  938. lib/lean/Lean/Data/Lsp/Client.olean
  939. lib/lean/Lean/Data/Lsp/CodeActions.ilean
  940. lib/lean/Lean/Data/Lsp/CodeActions.olean
  941. lib/lean/Lean/Data/Lsp/Communication.ilean
  942. lib/lean/Lean/Data/Lsp/Communication.olean
  943. lib/lean/Lean/Data/Lsp/Diagnostics.ilean
  944. lib/lean/Lean/Data/Lsp/Diagnostics.olean
  945. lib/lean/Lean/Data/Lsp/Extra.ilean
  946. lib/lean/Lean/Data/Lsp/Extra.olean
  947. lib/lean/Lean/Data/Lsp/InitShutdown.ilean
  948. lib/lean/Lean/Data/Lsp/InitShutdown.olean
  949. lib/lean/Lean/Data/Lsp/Internal.ilean
  950. lib/lean/Lean/Data/Lsp/Internal.olean
  951. lib/lean/Lean/Data/Lsp/Ipc.ilean
  952. lib/lean/Lean/Data/Lsp/Ipc.olean
  953. lib/lean/Lean/Data/Lsp/LanguageFeatures.ilean
  954. lib/lean/Lean/Data/Lsp/LanguageFeatures.olean
  955. lib/lean/Lean/Data/Lsp/TextSync.ilean
  956. lib/lean/Lean/Data/Lsp/TextSync.olean
  957. lib/lean/Lean/Data/Lsp/Utf16.ilean
  958. lib/lean/Lean/Data/Lsp/Utf16.olean
  959. lib/lean/Lean/Data/Lsp/Window.ilean
  960. lib/lean/Lean/Data/Lsp/Window.olean
  961. lib/lean/Lean/Data/Lsp/Workspace.ilean
  962. lib/lean/Lean/Data/Lsp/Workspace.olean
  963. lib/lean/Lean/Data/Name.ilean
  964. lib/lean/Lean/Data/Name.olean
  965. lib/lean/Lean/Data/NameMap.ilean
  966. lib/lean/Lean/Data/NameMap.olean
  967. lib/lean/Lean/Data/NameTrie.ilean
  968. lib/lean/Lean/Data/NameTrie.olean
  969. lib/lean/Lean/Data/OpenDecl.ilean
  970. lib/lean/Lean/Data/OpenDecl.olean
  971. lib/lean/Lean/Data/Options.ilean
  972. lib/lean/Lean/Data/Options.olean
  973. lib/lean/Lean/Data/PersistentArray.ilean
  974. lib/lean/Lean/Data/PersistentArray.olean
  975. lib/lean/Lean/Data/PersistentHashMap.ilean
  976. lib/lean/Lean/Data/PersistentHashMap.olean
  977. lib/lean/Lean/Data/PersistentHashSet.ilean
  978. lib/lean/Lean/Data/PersistentHashSet.olean
  979. lib/lean/Lean/Data/Position.ilean
  980. lib/lean/Lean/Data/Position.olean
  981. lib/lean/Lean/Data/PrefixTree.ilean
  982. lib/lean/Lean/Data/PrefixTree.olean
  983. lib/lean/Lean/Data/RBMap.ilean
  984. lib/lean/Lean/Data/RBMap.olean
  985. lib/lean/Lean/Data/RBTree.ilean
  986. lib/lean/Lean/Data/RBTree.olean
  987. lib/lean/Lean/Data/Rat.ilean
  988. lib/lean/Lean/Data/Rat.olean
  989. lib/lean/Lean/Data/SMap.ilean
  990. lib/lean/Lean/Data/SMap.olean
  991. lib/lean/Lean/Data/SSet.ilean
  992. lib/lean/Lean/Data/SSet.olean
  993. lib/lean/Lean/Data/Trie.ilean
  994. lib/lean/Lean/Data/Trie.olean
  995. lib/lean/Lean/Data/Xml.ilean
  996. lib/lean/Lean/Data/Xml.olean
  997. lib/lean/Lean/Data/Xml/Basic.ilean
  998. lib/lean/Lean/Data/Xml/Basic.olean
  999. lib/lean/Lean/Data/Xml/Parser.ilean
  1000. lib/lean/Lean/Data/Xml/Parser.olean
  1001. lib/lean/Lean/Declaration.ilean
  1002. lib/lean/Lean/Declaration.olean
  1003. lib/lean/Lean/DeclarationRange.ilean
  1004. lib/lean/Lean/DeclarationRange.olean
  1005. lib/lean/Lean/DocString.ilean
  1006. lib/lean/Lean/DocString.olean
  1007. lib/lean/Lean/DocString/Extension.ilean
  1008. lib/lean/Lean/DocString/Extension.olean
  1009. lib/lean/Lean/Elab.ilean
  1010. lib/lean/Lean/Elab.olean
  1011. lib/lean/Lean/Elab/App.ilean
  1012. lib/lean/Lean/Elab/App.olean
  1013. lib/lean/Lean/Elab/Arg.ilean
  1014. lib/lean/Lean/Elab/Arg.olean
  1015. lib/lean/Lean/Elab/Attributes.ilean
  1016. lib/lean/Lean/Elab/Attributes.olean
  1017. lib/lean/Lean/Elab/AutoBound.ilean
  1018. lib/lean/Lean/Elab/AutoBound.olean
  1019. lib/lean/Lean/Elab/AuxDef.ilean
  1020. lib/lean/Lean/Elab/AuxDef.olean
  1021. lib/lean/Lean/Elab/BinderPredicates.ilean
  1022. lib/lean/Lean/Elab/BinderPredicates.olean
  1023. lib/lean/Lean/Elab/Binders.ilean
  1024. lib/lean/Lean/Elab/Binders.olean
  1025. lib/lean/Lean/Elab/BindersUtil.ilean
  1026. lib/lean/Lean/Elab/BindersUtil.olean
  1027. lib/lean/Lean/Elab/BuiltinCommand.ilean
  1028. lib/lean/Lean/Elab/BuiltinCommand.olean
  1029. lib/lean/Lean/Elab/BuiltinNotation.ilean
  1030. lib/lean/Lean/Elab/BuiltinNotation.olean
  1031. lib/lean/Lean/Elab/BuiltinTerm.ilean
  1032. lib/lean/Lean/Elab/BuiltinTerm.olean
  1033. lib/lean/Lean/Elab/Calc.ilean
  1034. lib/lean/Lean/Elab/Calc.olean
  1035. lib/lean/Lean/Elab/CheckTactic.ilean
  1036. lib/lean/Lean/Elab/CheckTactic.olean
  1037. lib/lean/Lean/Elab/Command.ilean
  1038. lib/lean/Lean/Elab/Command.olean
  1039. lib/lean/Lean/Elab/ComputedFields.ilean
  1040. lib/lean/Lean/Elab/ComputedFields.olean
  1041. lib/lean/Lean/Elab/Config.ilean
  1042. lib/lean/Lean/Elab/Config.olean
  1043. lib/lean/Lean/Elab/DeclModifiers.ilean
  1044. lib/lean/Lean/Elab/DeclModifiers.olean
  1045. lib/lean/Lean/Elab/DeclNameGen.ilean
  1046. lib/lean/Lean/Elab/DeclNameGen.olean
  1047. lib/lean/Lean/Elab/DeclUtil.ilean
  1048. lib/lean/Lean/Elab/DeclUtil.olean
  1049. lib/lean/Lean/Elab/Declaration.ilean
  1050. lib/lean/Lean/Elab/Declaration.olean
  1051. lib/lean/Lean/Elab/DeclarationRange.ilean
  1052. lib/lean/Lean/Elab/DeclarationRange.olean
  1053. lib/lean/Lean/Elab/DefView.ilean
  1054. lib/lean/Lean/Elab/DefView.olean
  1055. lib/lean/Lean/Elab/Deriving.ilean
  1056. lib/lean/Lean/Elab/Deriving.olean
  1057. lib/lean/Lean/Elab/Deriving/BEq.ilean
  1058. lib/lean/Lean/Elab/Deriving/BEq.olean
  1059. lib/lean/Lean/Elab/Deriving/Basic.ilean
  1060. lib/lean/Lean/Elab/Deriving/Basic.olean
  1061. lib/lean/Lean/Elab/Deriving/DecEq.ilean
  1062. lib/lean/Lean/Elab/Deriving/DecEq.olean
  1063. lib/lean/Lean/Elab/Deriving/FromToJson.ilean
  1064. lib/lean/Lean/Elab/Deriving/FromToJson.olean
  1065. lib/lean/Lean/Elab/Deriving/Hashable.ilean
  1066. lib/lean/Lean/Elab/Deriving/Hashable.olean
  1067. lib/lean/Lean/Elab/Deriving/Inhabited.ilean
  1068. lib/lean/Lean/Elab/Deriving/Inhabited.olean
  1069. lib/lean/Lean/Elab/Deriving/Nonempty.ilean
  1070. lib/lean/Lean/Elab/Deriving/Nonempty.olean
  1071. lib/lean/Lean/Elab/Deriving/Ord.ilean
  1072. lib/lean/Lean/Elab/Deriving/Ord.olean
  1073. lib/lean/Lean/Elab/Deriving/Repr.ilean
  1074. lib/lean/Lean/Elab/Deriving/Repr.olean
  1075. lib/lean/Lean/Elab/Deriving/SizeOf.ilean
  1076. lib/lean/Lean/Elab/Deriving/SizeOf.olean
  1077. lib/lean/Lean/Elab/Deriving/TypeName.ilean
  1078. lib/lean/Lean/Elab/Deriving/TypeName.olean
  1079. lib/lean/Lean/Elab/Deriving/Util.ilean
  1080. lib/lean/Lean/Elab/Deriving/Util.olean
  1081. lib/lean/Lean/Elab/Do.ilean
  1082. lib/lean/Lean/Elab/Do.olean
  1083. lib/lean/Lean/Elab/ElabRules.ilean
  1084. lib/lean/Lean/Elab/ElabRules.olean
  1085. lib/lean/Lean/Elab/Eval.ilean
  1086. lib/lean/Lean/Elab/Eval.olean
  1087. lib/lean/Lean/Elab/Exception.ilean
  1088. lib/lean/Lean/Elab/Exception.olean
  1089. lib/lean/Lean/Elab/Extra.ilean
  1090. lib/lean/Lean/Elab/Extra.olean
  1091. lib/lean/Lean/Elab/Frontend.ilean
  1092. lib/lean/Lean/Elab/Frontend.olean
  1093. lib/lean/Lean/Elab/GenInjective.ilean
  1094. lib/lean/Lean/Elab/GenInjective.olean
  1095. lib/lean/Lean/Elab/GuardMsgs.ilean
  1096. lib/lean/Lean/Elab/GuardMsgs.olean
  1097. lib/lean/Lean/Elab/Import.ilean
  1098. lib/lean/Lean/Elab/Import.olean
  1099. lib/lean/Lean/Elab/Inductive.ilean
  1100. lib/lean/Lean/Elab/Inductive.olean
  1101. lib/lean/Lean/Elab/InfoTree.ilean
  1102. lib/lean/Lean/Elab/InfoTree.olean
  1103. lib/lean/Lean/Elab/InfoTree/Main.ilean
  1104. lib/lean/Lean/Elab/InfoTree/Main.olean
  1105. lib/lean/Lean/Elab/InfoTree/Types.ilean
  1106. lib/lean/Lean/Elab/InfoTree/Types.olean
  1107. lib/lean/Lean/Elab/InheritDoc.ilean
  1108. lib/lean/Lean/Elab/InheritDoc.olean
  1109. lib/lean/Lean/Elab/LetRec.ilean
  1110. lib/lean/Lean/Elab/LetRec.olean
  1111. lib/lean/Lean/Elab/Level.ilean
  1112. lib/lean/Lean/Elab/Level.olean
  1113. lib/lean/Lean/Elab/Macro.ilean
  1114. lib/lean/Lean/Elab/Macro.olean
  1115. lib/lean/Lean/Elab/MacroArgUtil.ilean
  1116. lib/lean/Lean/Elab/MacroArgUtil.olean
  1117. lib/lean/Lean/Elab/MacroRules.ilean
  1118. lib/lean/Lean/Elab/MacroRules.olean
  1119. lib/lean/Lean/Elab/Match.ilean
  1120. lib/lean/Lean/Elab/Match.olean
  1121. lib/lean/Lean/Elab/MatchAltView.ilean
  1122. lib/lean/Lean/Elab/MatchAltView.olean
  1123. lib/lean/Lean/Elab/MatchExpr.ilean
  1124. lib/lean/Lean/Elab/MatchExpr.olean
  1125. lib/lean/Lean/Elab/Mixfix.ilean
  1126. lib/lean/Lean/Elab/Mixfix.olean
  1127. lib/lean/Lean/Elab/MutualDef.ilean
  1128. lib/lean/Lean/Elab/MutualDef.olean
  1129. lib/lean/Lean/Elab/Notation.ilean
  1130. lib/lean/Lean/Elab/Notation.olean
  1131. lib/lean/Lean/Elab/Open.ilean
  1132. lib/lean/Lean/Elab/Open.olean
  1133. lib/lean/Lean/Elab/ParseImportsFast.ilean
  1134. lib/lean/Lean/Elab/ParseImportsFast.olean
  1135. lib/lean/Lean/Elab/PatternVar.ilean
  1136. lib/lean/Lean/Elab/PatternVar.olean
  1137. lib/lean/Lean/Elab/PreDefinition.ilean
  1138. lib/lean/Lean/Elab/PreDefinition.olean
  1139. lib/lean/Lean/Elab/PreDefinition/Basic.ilean
  1140. lib/lean/Lean/Elab/PreDefinition/Basic.olean
  1141. lib/lean/Lean/Elab/PreDefinition/EqUnfold.ilean
  1142. lib/lean/Lean/Elab/PreDefinition/EqUnfold.olean
  1143. lib/lean/Lean/Elab/PreDefinition/Eqns.ilean
  1144. lib/lean/Lean/Elab/PreDefinition/Eqns.olean
  1145. lib/lean/Lean/Elab/PreDefinition/Main.ilean
  1146. lib/lean/Lean/Elab/PreDefinition/Main.olean
  1147. lib/lean/Lean/Elab/PreDefinition/MkInhabitant.ilean
  1148. lib/lean/Lean/Elab/PreDefinition/MkInhabitant.olean
  1149. lib/lean/Lean/Elab/PreDefinition/Nonrec/Eqns.ilean
  1150. lib/lean/Lean/Elab/PreDefinition/Nonrec/Eqns.olean
  1151. lib/lean/Lean/Elab/PreDefinition/Structural.ilean
  1152. lib/lean/Lean/Elab/PreDefinition/Structural.olean
  1153. lib/lean/Lean/Elab/PreDefinition/Structural/BRecOn.ilean
  1154. lib/lean/Lean/Elab/PreDefinition/Structural/BRecOn.olean
  1155. lib/lean/Lean/Elab/PreDefinition/Structural/Basic.ilean
  1156. lib/lean/Lean/Elab/PreDefinition/Structural/Basic.olean
  1157. lib/lean/Lean/Elab/PreDefinition/Structural/Eqns.ilean
  1158. lib/lean/Lean/Elab/PreDefinition/Structural/Eqns.olean
  1159. lib/lean/Lean/Elab/PreDefinition/Structural/FindRecArg.ilean
  1160. lib/lean/Lean/Elab/PreDefinition/Structural/FindRecArg.olean
  1161. lib/lean/Lean/Elab/PreDefinition/Structural/IndGroupInfo.ilean
  1162. lib/lean/Lean/Elab/PreDefinition/Structural/IndGroupInfo.olean
  1163. lib/lean/Lean/Elab/PreDefinition/Structural/IndPred.ilean
  1164. lib/lean/Lean/Elab/PreDefinition/Structural/IndPred.olean
  1165. lib/lean/Lean/Elab/PreDefinition/Structural/Main.ilean
  1166. lib/lean/Lean/Elab/PreDefinition/Structural/Main.olean
  1167. lib/lean/Lean/Elab/PreDefinition/Structural/Preprocess.ilean
  1168. lib/lean/Lean/Elab/PreDefinition/Structural/Preprocess.olean
  1169. lib/lean/Lean/Elab/PreDefinition/Structural/RecArgInfo.ilean
  1170. lib/lean/Lean/Elab/PreDefinition/Structural/RecArgInfo.olean
  1171. lib/lean/Lean/Elab/PreDefinition/Structural/SmartUnfolding.ilean
  1172. lib/lean/Lean/Elab/PreDefinition/Structural/SmartUnfolding.olean
  1173. lib/lean/Lean/Elab/PreDefinition/TerminationArgument.ilean
  1174. lib/lean/Lean/Elab/PreDefinition/TerminationArgument.olean
  1175. lib/lean/Lean/Elab/PreDefinition/TerminationHint.ilean
  1176. lib/lean/Lean/Elab/PreDefinition/TerminationHint.olean
  1177. lib/lean/Lean/Elab/PreDefinition/WF.ilean
  1178. lib/lean/Lean/Elab/PreDefinition/WF.olean
  1179. lib/lean/Lean/Elab/PreDefinition/WF/Basic.ilean
  1180. lib/lean/Lean/Elab/PreDefinition/WF/Basic.olean
  1181. lib/lean/Lean/Elab/PreDefinition/WF/Eqns.ilean
  1182. lib/lean/Lean/Elab/PreDefinition/WF/Eqns.olean
  1183. lib/lean/Lean/Elab/PreDefinition/WF/Fix.ilean
  1184. lib/lean/Lean/Elab/PreDefinition/WF/Fix.olean
  1185. lib/lean/Lean/Elab/PreDefinition/WF/GuessLex.ilean
  1186. lib/lean/Lean/Elab/PreDefinition/WF/GuessLex.olean
  1187. lib/lean/Lean/Elab/PreDefinition/WF/Ite.ilean
  1188. lib/lean/Lean/Elab/PreDefinition/WF/Ite.olean
  1189. lib/lean/Lean/Elab/PreDefinition/WF/Main.ilean
  1190. lib/lean/Lean/Elab/PreDefinition/WF/Main.olean
  1191. lib/lean/Lean/Elab/PreDefinition/WF/PackMutual.ilean
  1192. lib/lean/Lean/Elab/PreDefinition/WF/PackMutual.olean
  1193. lib/lean/Lean/Elab/PreDefinition/WF/Preprocess.ilean
  1194. lib/lean/Lean/Elab/PreDefinition/WF/Preprocess.olean
  1195. lib/lean/Lean/Elab/PreDefinition/WF/Rel.ilean
  1196. lib/lean/Lean/Elab/PreDefinition/WF/Rel.olean
  1197. lib/lean/Lean/Elab/Print.ilean
  1198. lib/lean/Lean/Elab/Print.olean
  1199. lib/lean/Lean/Elab/Quotation.ilean
  1200. lib/lean/Lean/Elab/Quotation.olean
  1201. lib/lean/Lean/Elab/Quotation/Precheck.ilean
  1202. lib/lean/Lean/Elab/Quotation/Precheck.olean
  1203. lib/lean/Lean/Elab/Quotation/Util.ilean
  1204. lib/lean/Lean/Elab/Quotation/Util.olean
  1205. lib/lean/Lean/Elab/RecAppSyntax.ilean
  1206. lib/lean/Lean/Elab/RecAppSyntax.olean
  1207. lib/lean/Lean/Elab/SetOption.ilean
  1208. lib/lean/Lean/Elab/SetOption.olean
  1209. lib/lean/Lean/Elab/StructInst.ilean
  1210. lib/lean/Lean/Elab/StructInst.olean
  1211. lib/lean/Lean/Elab/Structure.ilean
  1212. lib/lean/Lean/Elab/Structure.olean
  1213. lib/lean/Lean/Elab/Syntax.ilean
  1214. lib/lean/Lean/Elab/Syntax.olean
  1215. lib/lean/Lean/Elab/SyntheticMVars.ilean
  1216. lib/lean/Lean/Elab/SyntheticMVars.olean
  1217. lib/lean/Lean/Elab/Tactic.ilean
  1218. lib/lean/Lean/Elab/Tactic.olean
  1219. lib/lean/Lean/Elab/Tactic/BVDecide.ilean
  1220. lib/lean/Lean/Elab/Tactic/BVDecide.olean
  1221. lib/lean/Lean/Elab/Tactic/BVDecide/External.ilean
  1222. lib/lean/Lean/Elab/Tactic/BVDecide/External.olean
  1223. lib/lean/Lean/Elab/Tactic/BVDecide/Frontend.ilean
  1224. lib/lean/Lean/Elab/Tactic/BVDecide/Frontend.olean
  1225. lib/lean/Lean/Elab/Tactic/BVDecide/Frontend/Attr.ilean
  1226. lib/lean/Lean/Elab/Tactic/BVDecide/Frontend/Attr.olean
  1227. lib/lean/Lean/Elab/Tactic/BVDecide/Frontend/BVCheck.ilean
  1228. lib/lean/Lean/Elab/Tactic/BVDecide/Frontend/BVCheck.olean
  1229. lib/lean/Lean/Elab/Tactic/BVDecide/Frontend/BVDecide.ilean
  1230. lib/lean/Lean/Elab/Tactic/BVDecide/Frontend/BVDecide.olean
  1231. lib/lean/Lean/Elab/Tactic/BVDecide/Frontend/BVDecide/Reflect.ilean
  1232. lib/lean/Lean/Elab/Tactic/BVDecide/Frontend/BVDecide/Reflect.olean
  1233. lib/lean/Lean/Elab/Tactic/BVDecide/Frontend/BVDecide/ReifiedBVExpr.ilean
  1234. lib/lean/Lean/Elab/Tactic/BVDecide/Frontend/BVDecide/ReifiedBVExpr.olean
  1235. lib/lean/Lean/Elab/Tactic/BVDecide/Frontend/BVDecide/ReifiedBVLogical.ilean
  1236. lib/lean/Lean/Elab/Tactic/BVDecide/Frontend/BVDecide/ReifiedBVLogical.olean
  1237. lib/lean/Lean/Elab/Tactic/BVDecide/Frontend/BVDecide/ReifiedBVPred.ilean
  1238. lib/lean/Lean/Elab/Tactic/BVDecide/Frontend/BVDecide/ReifiedBVPred.olean
  1239. lib/lean/Lean/Elab/Tactic/BVDecide/Frontend/BVDecide/SatAtBVLogical.ilean
  1240. lib/lean/Lean/Elab/Tactic/BVDecide/Frontend/BVDecide/SatAtBVLogical.olean
  1241. lib/lean/Lean/Elab/Tactic/BVDecide/Frontend/BVTrace.ilean
  1242. lib/lean/Lean/Elab/Tactic/BVDecide/Frontend/BVTrace.olean
  1243. lib/lean/Lean/Elab/Tactic/BVDecide/Frontend/LRAT.ilean
  1244. lib/lean/Lean/Elab/Tactic/BVDecide/Frontend/LRAT.olean
  1245. lib/lean/Lean/Elab/Tactic/BVDecide/Frontend/Normalize.ilean
  1246. lib/lean/Lean/Elab/Tactic/BVDecide/Frontend/Normalize.olean
  1247. lib/lean/Lean/Elab/Tactic/BVDecide/LRAT.ilean
  1248. lib/lean/Lean/Elab/Tactic/BVDecide/LRAT.olean
  1249. lib/lean/Lean/Elab/Tactic/BVDecide/LRAT/Trim.ilean
  1250. lib/lean/Lean/Elab/Tactic/BVDecide/LRAT/Trim.olean
  1251. lib/lean/Lean/Elab/Tactic/Basic.ilean
  1252. lib/lean/Lean/Elab/Tactic/Basic.olean
  1253. lib/lean/Lean/Elab/Tactic/BoolToPropSimps.ilean
  1254. lib/lean/Lean/Elab/Tactic/BoolToPropSimps.olean
  1255. lib/lean/Lean/Elab/Tactic/BuiltinTactic.ilean
  1256. lib/lean/Lean/Elab/Tactic/BuiltinTactic.olean
  1257. lib/lean/Lean/Elab/Tactic/Cache.ilean
  1258. lib/lean/Lean/Elab/Tactic/Cache.olean
  1259. lib/lean/Lean/Elab/Tactic/Calc.ilean
  1260. lib/lean/Lean/Elab/Tactic/Calc.olean
  1261. lib/lean/Lean/Elab/Tactic/Change.ilean
  1262. lib/lean/Lean/Elab/Tactic/Change.olean
  1263. lib/lean/Lean/Elab/Tactic/Config.ilean
  1264. lib/lean/Lean/Elab/Tactic/Config.olean
  1265. lib/lean/Lean/Elab/Tactic/Congr.ilean
  1266. lib/lean/Lean/Elab/Tactic/Congr.olean
  1267. lib/lean/Lean/Elab/Tactic/Conv.ilean
  1268. lib/lean/Lean/Elab/Tactic/Conv.olean
  1269. lib/lean/Lean/Elab/Tactic/Conv/Basic.ilean
  1270. lib/lean/Lean/Elab/Tactic/Conv/Basic.olean
  1271. lib/lean/Lean/Elab/Tactic/Conv/Change.ilean
  1272. lib/lean/Lean/Elab/Tactic/Conv/Change.olean
  1273. lib/lean/Lean/Elab/Tactic/Conv/Congr.ilean
  1274. lib/lean/Lean/Elab/Tactic/Conv/Congr.olean
  1275. lib/lean/Lean/Elab/Tactic/Conv/Delta.ilean
  1276. lib/lean/Lean/Elab/Tactic/Conv/Delta.olean
  1277. lib/lean/Lean/Elab/Tactic/Conv/Pattern.ilean
  1278. lib/lean/Lean/Elab/Tactic/Conv/Pattern.olean
  1279. lib/lean/Lean/Elab/Tactic/Conv/Rewrite.ilean
  1280. lib/lean/Lean/Elab/Tactic/Conv/Rewrite.olean
  1281. lib/lean/Lean/Elab/Tactic/Conv/Simp.ilean
  1282. lib/lean/Lean/Elab/Tactic/Conv/Simp.olean
  1283. lib/lean/Lean/Elab/Tactic/Conv/Unfold.ilean
  1284. lib/lean/Lean/Elab/Tactic/Conv/Unfold.olean
  1285. lib/lean/Lean/Elab/Tactic/Delta.ilean
  1286. lib/lean/Lean/Elab/Tactic/Delta.olean
  1287. lib/lean/Lean/Elab/Tactic/DiscrTreeKey.ilean
  1288. lib/lean/Lean/Elab/Tactic/DiscrTreeKey.olean
  1289. lib/lean/Lean/Elab/Tactic/Doc.ilean
  1290. lib/lean/Lean/Elab/Tactic/Doc.olean
  1291. lib/lean/Lean/Elab/Tactic/ElabTerm.ilean
  1292. lib/lean/Lean/Elab/Tactic/ElabTerm.olean
  1293. lib/lean/Lean/Elab/Tactic/Ext.ilean
  1294. lib/lean/Lean/Elab/Tactic/Ext.olean
  1295. lib/lean/Lean/Elab/Tactic/FalseOrByContra.ilean
  1296. lib/lean/Lean/Elab/Tactic/FalseOrByContra.olean
  1297. lib/lean/Lean/Elab/Tactic/Generalize.ilean
  1298. lib/lean/Lean/Elab/Tactic/Generalize.olean
  1299. lib/lean/Lean/Elab/Tactic/Guard.ilean
  1300. lib/lean/Lean/Elab/Tactic/Guard.olean
  1301. lib/lean/Lean/Elab/Tactic/Induction.ilean
  1302. lib/lean/Lean/Elab/Tactic/Induction.olean
  1303. lib/lean/Lean/Elab/Tactic/Injection.ilean
  1304. lib/lean/Lean/Elab/Tactic/Injection.olean
  1305. lib/lean/Lean/Elab/Tactic/LibrarySearch.ilean
  1306. lib/lean/Lean/Elab/Tactic/LibrarySearch.olean
  1307. lib/lean/Lean/Elab/Tactic/Location.ilean
  1308. lib/lean/Lean/Elab/Tactic/Location.olean
  1309. lib/lean/Lean/Elab/Tactic/Match.ilean
  1310. lib/lean/Lean/Elab/Tactic/Match.olean
  1311. lib/lean/Lean/Elab/Tactic/Meta.ilean
  1312. lib/lean/Lean/Elab/Tactic/Meta.olean
  1313. lib/lean/Lean/Elab/Tactic/NormCast.ilean
  1314. lib/lean/Lean/Elab/Tactic/NormCast.olean
  1315. lib/lean/Lean/Elab/Tactic/Omega.ilean
  1316. lib/lean/Lean/Elab/Tactic/Omega.olean
  1317. lib/lean/Lean/Elab/Tactic/Omega/Core.ilean
  1318. lib/lean/Lean/Elab/Tactic/Omega/Core.olean
  1319. lib/lean/Lean/Elab/Tactic/Omega/Frontend.ilean
  1320. lib/lean/Lean/Elab/Tactic/Omega/Frontend.olean
  1321. lib/lean/Lean/Elab/Tactic/Omega/MinNatAbs.ilean
  1322. lib/lean/Lean/Elab/Tactic/Omega/MinNatAbs.olean
  1323. lib/lean/Lean/Elab/Tactic/Omega/OmegaM.ilean
  1324. lib/lean/Lean/Elab/Tactic/Omega/OmegaM.olean
  1325. lib/lean/Lean/Elab/Tactic/RCases.ilean
  1326. lib/lean/Lean/Elab/Tactic/RCases.olean
  1327. lib/lean/Lean/Elab/Tactic/Repeat.ilean
  1328. lib/lean/Lean/Elab/Tactic/Repeat.olean
  1329. lib/lean/Lean/Elab/Tactic/Rewrite.ilean
  1330. lib/lean/Lean/Elab/Tactic/Rewrite.olean
  1331. lib/lean/Lean/Elab/Tactic/Rewrites.ilean
  1332. lib/lean/Lean/Elab/Tactic/Rewrites.olean
  1333. lib/lean/Lean/Elab/Tactic/Rfl.ilean
  1334. lib/lean/Lean/Elab/Tactic/Rfl.olean
  1335. lib/lean/Lean/Elab/Tactic/ShowTerm.ilean
  1336. lib/lean/Lean/Elab/Tactic/ShowTerm.olean
  1337. lib/lean/Lean/Elab/Tactic/Simp.ilean
  1338. lib/lean/Lean/Elab/Tactic/Simp.olean
  1339. lib/lean/Lean/Elab/Tactic/SimpTrace.ilean
  1340. lib/lean/Lean/Elab/Tactic/SimpTrace.olean
  1341. lib/lean/Lean/Elab/Tactic/Simpa.ilean
  1342. lib/lean/Lean/Elab/Tactic/Simpa.olean
  1343. lib/lean/Lean/Elab/Tactic/Simproc.ilean
  1344. lib/lean/Lean/Elab/Tactic/Simproc.olean
  1345. lib/lean/Lean/Elab/Tactic/SolveByElim.ilean
  1346. lib/lean/Lean/Elab/Tactic/SolveByElim.olean
  1347. lib/lean/Lean/Elab/Tactic/Split.ilean
  1348. lib/lean/Lean/Elab/Tactic/Split.olean
  1349. lib/lean/Lean/Elab/Tactic/Symm.ilean
  1350. lib/lean/Lean/Elab/Tactic/Symm.olean
  1351. lib/lean/Lean/Elab/Tactic/Unfold.ilean
  1352. lib/lean/Lean/Elab/Tactic/Unfold.olean
  1353. lib/lean/Lean/Elab/Term.ilean
  1354. lib/lean/Lean/Elab/Term.olean
  1355. lib/lean/Lean/Elab/Time.ilean
  1356. lib/lean/Lean/Elab/Time.olean
  1357. lib/lean/Lean/Elab/Util.ilean
  1358. lib/lean/Lean/Elab/Util.olean
  1359. lib/lean/Lean/Environment.ilean
  1360. lib/lean/Lean/Environment.olean
  1361. lib/lean/Lean/Eval.ilean
  1362. lib/lean/Lean/Eval.olean
  1363. lib/lean/Lean/Exception.ilean
  1364. lib/lean/Lean/Exception.olean
  1365. lib/lean/Lean/Expr.ilean
  1366. lib/lean/Lean/Expr.olean
  1367. lib/lean/Lean/HeadIndex.ilean
  1368. lib/lean/Lean/HeadIndex.olean
  1369. lib/lean/Lean/Hygiene.ilean
  1370. lib/lean/Lean/Hygiene.olean
  1371. lib/lean/Lean/ImportingFlag.ilean
  1372. lib/lean/Lean/ImportingFlag.olean
  1373. lib/lean/Lean/InternalExceptionId.ilean
  1374. lib/lean/Lean/InternalExceptionId.olean
  1375. lib/lean/Lean/KeyedDeclsAttribute.ilean
  1376. lib/lean/Lean/KeyedDeclsAttribute.olean
  1377. lib/lean/Lean/LabelAttribute.ilean
  1378. lib/lean/Lean/LabelAttribute.olean
  1379. lib/lean/Lean/Language/Basic.ilean
  1380. lib/lean/Lean/Language/Basic.olean
  1381. lib/lean/Lean/Language/Lean.ilean
  1382. lib/lean/Lean/Language/Lean.olean
  1383. lib/lean/Lean/Language/Lean/Types.ilean
  1384. lib/lean/Lean/Language/Lean/Types.olean
  1385. lib/lean/Lean/LazyInitExtension.ilean
  1386. lib/lean/Lean/LazyInitExtension.olean
  1387. lib/lean/Lean/Level.ilean
  1388. lib/lean/Lean/Level.olean
  1389. lib/lean/Lean/Linter.ilean
  1390. lib/lean/Lean/Linter.olean
  1391. lib/lean/Lean/Linter/Basic.ilean
  1392. lib/lean/Lean/Linter/Basic.olean
  1393. lib/lean/Lean/Linter/Builtin.ilean
  1394. lib/lean/Lean/Linter/Builtin.olean
  1395. lib/lean/Lean/Linter/ConstructorAsVariable.ilean
  1396. lib/lean/Lean/Linter/ConstructorAsVariable.olean
  1397. lib/lean/Lean/Linter/Deprecated.ilean
  1398. lib/lean/Lean/Linter/Deprecated.olean
  1399. lib/lean/Lean/Linter/MissingDocs.ilean
  1400. lib/lean/Lean/Linter/MissingDocs.olean
  1401. lib/lean/Lean/Linter/Omit.ilean
  1402. lib/lean/Lean/Linter/Omit.olean
  1403. lib/lean/Lean/Linter/UnusedVariables.ilean
  1404. lib/lean/Lean/Linter/UnusedVariables.olean
  1405. lib/lean/Lean/Linter/Util.ilean
  1406. lib/lean/Lean/Linter/Util.olean
  1407. lib/lean/Lean/LoadDynlib.ilean
  1408. lib/lean/Lean/LoadDynlib.olean
  1409. lib/lean/Lean/LocalContext.ilean
  1410. lib/lean/Lean/LocalContext.olean
  1411. lib/lean/Lean/Log.ilean
  1412. lib/lean/Lean/Log.olean
  1413. lib/lean/Lean/Message.ilean
  1414. lib/lean/Lean/Message.olean
  1415. lib/lean/Lean/Meta.ilean
  1416. lib/lean/Lean/Meta.olean
  1417. lib/lean/Lean/Meta/ACLt.ilean
  1418. lib/lean/Lean/Meta/ACLt.olean
  1419. lib/lean/Lean/Meta/AbstractMVars.ilean
  1420. lib/lean/Lean/Meta/AbstractMVars.olean
  1421. lib/lean/Lean/Meta/AbstractNestedProofs.ilean
  1422. lib/lean/Lean/Meta/AbstractNestedProofs.olean
  1423. lib/lean/Lean/Meta/AppBuilder.ilean
  1424. lib/lean/Lean/Meta/AppBuilder.olean
  1425. lib/lean/Lean/Meta/ArgsPacker.ilean
  1426. lib/lean/Lean/Meta/ArgsPacker.olean
  1427. lib/lean/Lean/Meta/ArgsPacker/Basic.ilean
  1428. lib/lean/Lean/Meta/ArgsPacker/Basic.olean
  1429. lib/lean/Lean/Meta/Basic.ilean
  1430. lib/lean/Lean/Meta/Basic.olean
  1431. lib/lean/Lean/Meta/Canonicalizer.ilean
  1432. lib/lean/Lean/Meta/Canonicalizer.olean
  1433. lib/lean/Lean/Meta/Check.ilean
  1434. lib/lean/Lean/Meta/Check.olean
  1435. lib/lean/Lean/Meta/CheckTactic.ilean
  1436. lib/lean/Lean/Meta/CheckTactic.olean
  1437. lib/lean/Lean/Meta/Closure.ilean
  1438. lib/lean/Lean/Meta/Closure.olean
  1439. lib/lean/Lean/Meta/Coe.ilean
  1440. lib/lean/Lean/Meta/Coe.olean
  1441. lib/lean/Lean/Meta/CoeAttr.ilean
  1442. lib/lean/Lean/Meta/CoeAttr.olean
  1443. lib/lean/Lean/Meta/CollectFVars.ilean
  1444. lib/lean/Lean/Meta/CollectFVars.olean
  1445. lib/lean/Lean/Meta/CollectMVars.ilean
  1446. lib/lean/Lean/Meta/CollectMVars.olean
  1447. lib/lean/Lean/Meta/CompletionName.ilean
  1448. lib/lean/Lean/Meta/CompletionName.olean
  1449. lib/lean/Lean/Meta/CongrTheorems.ilean
  1450. lib/lean/Lean/Meta/CongrTheorems.olean
  1451. lib/lean/Lean/Meta/Constructions.ilean
  1452. lib/lean/Lean/Meta/Constructions.olean
  1453. lib/lean/Lean/Meta/Constructions/BRecOn.ilean
  1454. lib/lean/Lean/Meta/Constructions/BRecOn.olean
  1455. lib/lean/Lean/Meta/Constructions/CasesOn.ilean
  1456. lib/lean/Lean/Meta/Constructions/CasesOn.olean
  1457. lib/lean/Lean/Meta/Constructions/NoConfusion.ilean
  1458. lib/lean/Lean/Meta/Constructions/NoConfusion.olean
  1459. lib/lean/Lean/Meta/Constructions/RecOn.ilean
  1460. lib/lean/Lean/Meta/Constructions/RecOn.olean
  1461. lib/lean/Lean/Meta/CtorRecognizer.ilean
  1462. lib/lean/Lean/Meta/CtorRecognizer.olean
  1463. lib/lean/Lean/Meta/DecLevel.ilean
  1464. lib/lean/Lean/Meta/DecLevel.olean
  1465. lib/lean/Lean/Meta/Diagnostics.ilean
  1466. lib/lean/Lean/Meta/Diagnostics.olean
  1467. lib/lean/Lean/Meta/DiscrTree.ilean
  1468. lib/lean/Lean/Meta/DiscrTree.olean
  1469. lib/lean/Lean/Meta/DiscrTreeTypes.ilean
  1470. lib/lean/Lean/Meta/DiscrTreeTypes.olean
  1471. lib/lean/Lean/Meta/Eqns.ilean
  1472. lib/lean/Lean/Meta/Eqns.olean
  1473. lib/lean/Lean/Meta/Eval.ilean
  1474. lib/lean/Lean/Meta/Eval.olean
  1475. lib/lean/Lean/Meta/ExprDefEq.ilean
  1476. lib/lean/Lean/Meta/ExprDefEq.olean
  1477. lib/lean/Lean/Meta/ExprLens.ilean
  1478. lib/lean/Lean/Meta/ExprLens.olean
  1479. lib/lean/Lean/Meta/ExprTraverse.ilean
  1480. lib/lean/Lean/Meta/ExprTraverse.olean
  1481. lib/lean/Lean/Meta/ForEachExpr.ilean
  1482. lib/lean/Lean/Meta/ForEachExpr.olean
  1483. lib/lean/Lean/Meta/FunInfo.ilean
  1484. lib/lean/Lean/Meta/FunInfo.olean
  1485. lib/lean/Lean/Meta/GeneralizeTelescope.ilean
  1486. lib/lean/Lean/Meta/GeneralizeTelescope.olean
  1487. lib/lean/Lean/Meta/GeneralizeVars.ilean
  1488. lib/lean/Lean/Meta/GeneralizeVars.olean
  1489. lib/lean/Lean/Meta/GetUnfoldableConst.ilean
  1490. lib/lean/Lean/Meta/GetUnfoldableConst.olean
  1491. lib/lean/Lean/Meta/GlobalInstances.ilean
  1492. lib/lean/Lean/Meta/GlobalInstances.olean
  1493. lib/lean/Lean/Meta/IndPredBelow.ilean
  1494. lib/lean/Lean/Meta/IndPredBelow.olean
  1495. lib/lean/Lean/Meta/Inductive.ilean
  1496. lib/lean/Lean/Meta/Inductive.olean
  1497. lib/lean/Lean/Meta/InferType.ilean
  1498. lib/lean/Lean/Meta/InferType.olean
  1499. lib/lean/Lean/Meta/Injective.ilean
  1500. lib/lean/Lean/Meta/Injective.olean
  1501. lib/lean/Lean/Meta/Instances.ilean
  1502. lib/lean/Lean/Meta/Instances.olean
  1503. lib/lean/Lean/Meta/Iterator.ilean
  1504. lib/lean/Lean/Meta/Iterator.olean
  1505. lib/lean/Lean/Meta/KAbstract.ilean
  1506. lib/lean/Lean/Meta/KAbstract.olean
  1507. lib/lean/Lean/Meta/KExprMap.ilean
  1508. lib/lean/Lean/Meta/KExprMap.olean
  1509. lib/lean/Lean/Meta/LazyDiscrTree.ilean
  1510. lib/lean/Lean/Meta/LazyDiscrTree.olean
  1511. lib/lean/Lean/Meta/LevelDefEq.ilean
  1512. lib/lean/Lean/Meta/LevelDefEq.olean
  1513. lib/lean/Lean/Meta/LitValues.ilean
  1514. lib/lean/Lean/Meta/LitValues.olean
  1515. lib/lean/Lean/Meta/Match.ilean
  1516. lib/lean/Lean/Meta/Match.olean
  1517. lib/lean/Lean/Meta/Match/Basic.ilean
  1518. lib/lean/Lean/Meta/Match/Basic.olean
  1519. lib/lean/Lean/Meta/Match/CaseArraySizes.ilean
  1520. lib/lean/Lean/Meta/Match/CaseArraySizes.olean
  1521. lib/lean/Lean/Meta/Match/CaseValues.ilean
  1522. lib/lean/Lean/Meta/Match/CaseValues.olean
  1523. lib/lean/Lean/Meta/Match/MVarRenaming.ilean
  1524. lib/lean/Lean/Meta/Match/MVarRenaming.olean
  1525. lib/lean/Lean/Meta/Match/Match.ilean
  1526. lib/lean/Lean/Meta/Match/Match.olean
  1527. lib/lean/Lean/Meta/Match/MatchEqs.ilean
  1528. lib/lean/Lean/Meta/Match/MatchEqs.olean
  1529. lib/lean/Lean/Meta/Match/MatchEqsExt.ilean
  1530. lib/lean/Lean/Meta/Match/MatchEqsExt.olean
  1531. lib/lean/Lean/Meta/Match/MatchPatternAttr.ilean
  1532. lib/lean/Lean/Meta/Match/MatchPatternAttr.olean
  1533. lib/lean/Lean/Meta/Match/MatcherApp.ilean
  1534. lib/lean/Lean/Meta/Match/MatcherApp.olean
  1535. lib/lean/Lean/Meta/Match/MatcherApp/Basic.ilean
  1536. lib/lean/Lean/Meta/Match/MatcherApp/Basic.olean
  1537. lib/lean/Lean/Meta/Match/MatcherApp/Transform.ilean
  1538. lib/lean/Lean/Meta/Match/MatcherApp/Transform.olean
  1539. lib/lean/Lean/Meta/Match/MatcherInfo.ilean
  1540. lib/lean/Lean/Meta/Match/MatcherInfo.olean
  1541. lib/lean/Lean/Meta/Match/Value.ilean
  1542. lib/lean/Lean/Meta/Match/Value.olean
  1543. lib/lean/Lean/Meta/MatchUtil.ilean
  1544. lib/lean/Lean/Meta/MatchUtil.olean
  1545. lib/lean/Lean/Meta/NatInstTesters.ilean
  1546. lib/lean/Lean/Meta/NatInstTesters.olean
  1547. lib/lean/Lean/Meta/Offset.ilean
  1548. lib/lean/Lean/Meta/Offset.olean
  1549. lib/lean/Lean/Meta/PPGoal.ilean
  1550. lib/lean/Lean/Meta/PPGoal.olean
  1551. lib/lean/Lean/Meta/PProdN.ilean
  1552. lib/lean/Lean/Meta/PProdN.olean
  1553. lib/lean/Lean/Meta/RecursorInfo.ilean
  1554. lib/lean/Lean/Meta/RecursorInfo.olean
  1555. lib/lean/Lean/Meta/Reduce.ilean
  1556. lib/lean/Lean/Meta/Reduce.olean
  1557. lib/lean/Lean/Meta/ReduceEval.ilean
  1558. lib/lean/Lean/Meta/ReduceEval.olean
  1559. lib/lean/Lean/Meta/SizeOf.ilean
  1560. lib/lean/Lean/Meta/SizeOf.olean
  1561. lib/lean/Lean/Meta/Structure.ilean
  1562. lib/lean/Lean/Meta/Structure.olean
  1563. lib/lean/Lean/Meta/SynthInstance.ilean
  1564. lib/lean/Lean/Meta/SynthInstance.olean
  1565. lib/lean/Lean/Meta/Tactic.ilean
  1566. lib/lean/Lean/Meta/Tactic.olean
  1567. lib/lean/Lean/Meta/Tactic/AC.ilean
  1568. lib/lean/Lean/Meta/Tactic/AC.olean
  1569. lib/lean/Lean/Meta/Tactic/AC/Main.ilean
  1570. lib/lean/Lean/Meta/Tactic/AC/Main.olean
  1571. lib/lean/Lean/Meta/Tactic/Acyclic.ilean
  1572. lib/lean/Lean/Meta/Tactic/Acyclic.olean
  1573. lib/lean/Lean/Meta/Tactic/Apply.ilean
  1574. lib/lean/Lean/Meta/Tactic/Apply.olean
  1575. lib/lean/Lean/Meta/Tactic/Assert.ilean
  1576. lib/lean/Lean/Meta/Tactic/Assert.olean
  1577. lib/lean/Lean/Meta/Tactic/Assumption.ilean
  1578. lib/lean/Lean/Meta/Tactic/Assumption.olean
  1579. lib/lean/Lean/Meta/Tactic/AuxLemma.ilean
  1580. lib/lean/Lean/Meta/Tactic/AuxLemma.olean
  1581. lib/lean/Lean/Meta/Tactic/Backtrack.ilean
  1582. lib/lean/Lean/Meta/Tactic/Backtrack.olean
  1583. lib/lean/Lean/Meta/Tactic/Cases.ilean
  1584. lib/lean/Lean/Meta/Tactic/Cases.olean
  1585. lib/lean/Lean/Meta/Tactic/Cleanup.ilean
  1586. lib/lean/Lean/Meta/Tactic/Cleanup.olean
  1587. lib/lean/Lean/Meta/Tactic/Clear.ilean
  1588. lib/lean/Lean/Meta/Tactic/Clear.olean
  1589. lib/lean/Lean/Meta/Tactic/Congr.ilean
  1590. lib/lean/Lean/Meta/Tactic/Congr.olean
  1591. lib/lean/Lean/Meta/Tactic/Constructor.ilean
  1592. lib/lean/Lean/Meta/Tactic/Constructor.olean
  1593. lib/lean/Lean/Meta/Tactic/Contradiction.ilean
  1594. lib/lean/Lean/Meta/Tactic/Contradiction.olean
  1595. lib/lean/Lean/Meta/Tactic/Delta.ilean
  1596. lib/lean/Lean/Meta/Tactic/Delta.olean
  1597. lib/lean/Lean/Meta/Tactic/ElimInfo.ilean
  1598. lib/lean/Lean/Meta/Tactic/ElimInfo.olean
  1599. lib/lean/Lean/Meta/Tactic/FVarSubst.ilean
  1600. lib/lean/Lean/Meta/Tactic/FVarSubst.olean
  1601. lib/lean/Lean/Meta/Tactic/FunInd.ilean
  1602. lib/lean/Lean/Meta/Tactic/FunInd.olean
  1603. lib/lean/Lean/Meta/Tactic/Generalize.ilean
  1604. lib/lean/Lean/Meta/Tactic/Generalize.olean
  1605. lib/lean/Lean/Meta/Tactic/Grind.ilean
  1606. lib/lean/Lean/Meta/Tactic/Grind.olean
  1607. lib/lean/Lean/Meta/Tactic/Grind/Attr.ilean
  1608. lib/lean/Lean/Meta/Tactic/Grind/Attr.olean
  1609. lib/lean/Lean/Meta/Tactic/Grind/Cases.ilean
  1610. lib/lean/Lean/Meta/Tactic/Grind/Cases.olean
  1611. lib/lean/Lean/Meta/Tactic/Grind/Core.ilean
  1612. lib/lean/Lean/Meta/Tactic/Grind/Core.olean
  1613. lib/lean/Lean/Meta/Tactic/Grind/Injection.ilean
  1614. lib/lean/Lean/Meta/Tactic/Grind/Injection.olean
  1615. lib/lean/Lean/Meta/Tactic/Grind/Preprocessor.ilean
  1616. lib/lean/Lean/Meta/Tactic/Grind/Preprocessor.olean
  1617. lib/lean/Lean/Meta/Tactic/Grind/RevertAll.ilean
  1618. lib/lean/Lean/Meta/Tactic/Grind/RevertAll.olean
  1619. lib/lean/Lean/Meta/Tactic/Grind/Types.ilean
  1620. lib/lean/Lean/Meta/Tactic/Grind/Types.olean
  1621. lib/lean/Lean/Meta/Tactic/Grind/Util.ilean
  1622. lib/lean/Lean/Meta/Tactic/Grind/Util.olean
  1623. lib/lean/Lean/Meta/Tactic/IndependentOf.ilean
  1624. lib/lean/Lean/Meta/Tactic/IndependentOf.olean
  1625. lib/lean/Lean/Meta/Tactic/Induction.ilean
  1626. lib/lean/Lean/Meta/Tactic/Induction.olean
  1627. lib/lean/Lean/Meta/Tactic/Injection.ilean
  1628. lib/lean/Lean/Meta/Tactic/Injection.olean
  1629. lib/lean/Lean/Meta/Tactic/Intro.ilean
  1630. lib/lean/Lean/Meta/Tactic/Intro.olean
  1631. lib/lean/Lean/Meta/Tactic/LibrarySearch.ilean
  1632. lib/lean/Lean/Meta/Tactic/LibrarySearch.olean
  1633. lib/lean/Lean/Meta/Tactic/LinearArith.ilean
  1634. lib/lean/Lean/Meta/Tactic/LinearArith.olean
  1635. lib/lean/Lean/Meta/Tactic/LinearArith/Basic.ilean
  1636. lib/lean/Lean/Meta/Tactic/LinearArith/Basic.olean
  1637. lib/lean/Lean/Meta/Tactic/LinearArith/Main.ilean
  1638. lib/lean/Lean/Meta/Tactic/LinearArith/Main.olean
  1639. lib/lean/Lean/Meta/Tactic/LinearArith/Nat.ilean
  1640. lib/lean/Lean/Meta/Tactic/LinearArith/Nat.olean
  1641. lib/lean/Lean/Meta/Tactic/LinearArith/Nat/Basic.ilean
  1642. lib/lean/Lean/Meta/Tactic/LinearArith/Nat/Basic.olean
  1643. lib/lean/Lean/Meta/Tactic/LinearArith/Nat/Simp.ilean
  1644. lib/lean/Lean/Meta/Tactic/LinearArith/Nat/Simp.olean
  1645. lib/lean/Lean/Meta/Tactic/LinearArith/Nat/Solver.ilean
  1646. lib/lean/Lean/Meta/Tactic/LinearArith/Nat/Solver.olean
  1647. lib/lean/Lean/Meta/Tactic/LinearArith/Simp.ilean
  1648. lib/lean/Lean/Meta/Tactic/LinearArith/Simp.olean
  1649. lib/lean/Lean/Meta/Tactic/LinearArith/Solver.ilean
  1650. lib/lean/Lean/Meta/Tactic/LinearArith/Solver.olean
  1651. lib/lean/Lean/Meta/Tactic/NormCast.ilean
  1652. lib/lean/Lean/Meta/Tactic/NormCast.olean
  1653. lib/lean/Lean/Meta/Tactic/Refl.ilean
  1654. lib/lean/Lean/Meta/Tactic/Refl.olean
  1655. lib/lean/Lean/Meta/Tactic/Rename.ilean
  1656. lib/lean/Lean/Meta/Tactic/Rename.olean
  1657. lib/lean/Lean/Meta/Tactic/Repeat.ilean
  1658. lib/lean/Lean/Meta/Tactic/Repeat.olean
  1659. lib/lean/Lean/Meta/Tactic/Replace.ilean
  1660. lib/lean/Lean/Meta/Tactic/Replace.olean
  1661. lib/lean/Lean/Meta/Tactic/Revert.ilean
  1662. lib/lean/Lean/Meta/Tactic/Revert.olean
  1663. lib/lean/Lean/Meta/Tactic/Rewrite.ilean
  1664. lib/lean/Lean/Meta/Tactic/Rewrite.olean
  1665. lib/lean/Lean/Meta/Tactic/Rewrites.ilean
  1666. lib/lean/Lean/Meta/Tactic/Rewrites.olean
  1667. lib/lean/Lean/Meta/Tactic/Rfl.ilean
  1668. lib/lean/Lean/Meta/Tactic/Rfl.olean
  1669. lib/lean/Lean/Meta/Tactic/Simp.ilean
  1670. lib/lean/Lean/Meta/Tactic/Simp.olean
  1671. lib/lean/Lean/Meta/Tactic/Simp/Attr.ilean
  1672. lib/lean/Lean/Meta/Tactic/Simp/Attr.olean
  1673. lib/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs.ilean
  1674. lib/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs.olean
  1675. lib/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Array.ilean
  1676. lib/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Array.olean
  1677. lib/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs/BitVec.ilean
  1678. lib/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs/BitVec.olean
  1679. lib/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Char.ilean
  1680. lib/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Char.olean
  1681. lib/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Core.ilean
  1682. lib/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Core.olean
  1683. lib/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Fin.ilean
  1684. lib/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Fin.olean
  1685. lib/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Int.ilean
  1686. lib/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Int.olean
  1687. lib/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs/List.ilean
  1688. lib/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs/List.olean
  1689. lib/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Nat.ilean
  1690. lib/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Nat.olean
  1691. lib/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs/String.ilean
  1692. lib/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs/String.olean
  1693. lib/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs/UInt.ilean
  1694. lib/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs/UInt.olean
  1695. lib/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Util.ilean
  1696. lib/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Util.olean
  1697. lib/lean/Lean/Meta/Tactic/Simp/Diagnostics.ilean
  1698. lib/lean/Lean/Meta/Tactic/Simp/Diagnostics.olean
  1699. lib/lean/Lean/Meta/Tactic/Simp/Main.ilean
  1700. lib/lean/Lean/Meta/Tactic/Simp/Main.olean
  1701. lib/lean/Lean/Meta/Tactic/Simp/RegisterCommand.ilean
  1702. lib/lean/Lean/Meta/Tactic/Simp/RegisterCommand.olean
  1703. lib/lean/Lean/Meta/Tactic/Simp/Rewrite.ilean
  1704. lib/lean/Lean/Meta/Tactic/Simp/Rewrite.olean
  1705. lib/lean/Lean/Meta/Tactic/Simp/SimpAll.ilean
  1706. lib/lean/Lean/Meta/Tactic/Simp/SimpAll.olean
  1707. lib/lean/Lean/Meta/Tactic/Simp/SimpCongrTheorems.ilean
  1708. lib/lean/Lean/Meta/Tactic/Simp/SimpCongrTheorems.olean
  1709. lib/lean/Lean/Meta/Tactic/Simp/SimpTheorems.ilean
  1710. lib/lean/Lean/Meta/Tactic/Simp/SimpTheorems.olean
  1711. lib/lean/Lean/Meta/Tactic/Simp/Simproc.ilean
  1712. lib/lean/Lean/Meta/Tactic/Simp/Simproc.olean
  1713. lib/lean/Lean/Meta/Tactic/Simp/Types.ilean
  1714. lib/lean/Lean/Meta/Tactic/Simp/Types.olean
  1715. lib/lean/Lean/Meta/Tactic/SolveByElim.ilean
  1716. lib/lean/Lean/Meta/Tactic/SolveByElim.olean
  1717. lib/lean/Lean/Meta/Tactic/Split.ilean
  1718. lib/lean/Lean/Meta/Tactic/Split.olean
  1719. lib/lean/Lean/Meta/Tactic/SplitIf.ilean
  1720. lib/lean/Lean/Meta/Tactic/SplitIf.olean
  1721. lib/lean/Lean/Meta/Tactic/Subst.ilean
  1722. lib/lean/Lean/Meta/Tactic/Subst.olean
  1723. lib/lean/Lean/Meta/Tactic/Symm.ilean
  1724. lib/lean/Lean/Meta/Tactic/Symm.olean
  1725. lib/lean/Lean/Meta/Tactic/TryThis.ilean
  1726. lib/lean/Lean/Meta/Tactic/TryThis.olean
  1727. lib/lean/Lean/Meta/Tactic/Unfold.ilean
  1728. lib/lean/Lean/Meta/Tactic/Unfold.olean
  1729. lib/lean/Lean/Meta/Tactic/UnifyEq.ilean
  1730. lib/lean/Lean/Meta/Tactic/UnifyEq.olean
  1731. lib/lean/Lean/Meta/Tactic/Util.ilean
  1732. lib/lean/Lean/Meta/Tactic/Util.olean
  1733. lib/lean/Lean/Meta/Transform.ilean
  1734. lib/lean/Lean/Meta/Transform.olean
  1735. lib/lean/Lean/Meta/TransparencyMode.ilean
  1736. lib/lean/Lean/Meta/TransparencyMode.olean
  1737. lib/lean/Lean/Meta/UnificationHint.ilean
  1738. lib/lean/Lean/Meta/UnificationHint.olean
  1739. lib/lean/Lean/Meta/WHNF.ilean
  1740. lib/lean/Lean/Meta/WHNF.olean
  1741. lib/lean/Lean/MetavarContext.ilean
  1742. lib/lean/Lean/MetavarContext.olean
  1743. lib/lean/Lean/Modifiers.ilean
  1744. lib/lean/Lean/Modifiers.olean
  1745. lib/lean/Lean/MonadEnv.ilean
  1746. lib/lean/Lean/MonadEnv.olean
  1747. lib/lean/Lean/Parser.ilean
  1748. lib/lean/Lean/Parser.olean
  1749. lib/lean/Lean/Parser/Attr.ilean
  1750. lib/lean/Lean/Parser/Attr.olean
  1751. lib/lean/Lean/Parser/Basic.ilean
  1752. lib/lean/Lean/Parser/Basic.olean
  1753. lib/lean/Lean/Parser/Command.ilean
  1754. lib/lean/Lean/Parser/Command.olean
  1755. lib/lean/Lean/Parser/Do.ilean
  1756. lib/lean/Lean/Parser/Do.olean
  1757. lib/lean/Lean/Parser/Extension.ilean
  1758. lib/lean/Lean/Parser/Extension.olean
  1759. lib/lean/Lean/Parser/Extra.ilean
  1760. lib/lean/Lean/Parser/Extra.olean
  1761. lib/lean/Lean/Parser/Level.ilean
  1762. lib/lean/Lean/Parser/Level.olean
  1763. lib/lean/Lean/Parser/Module.ilean
  1764. lib/lean/Lean/Parser/Module.olean
  1765. lib/lean/Lean/Parser/StrInterpolation.ilean
  1766. lib/lean/Lean/Parser/StrInterpolation.olean
  1767. lib/lean/Lean/Parser/Syntax.ilean
  1768. lib/lean/Lean/Parser/Syntax.olean
  1769. lib/lean/Lean/Parser/Tactic.ilean
  1770. lib/lean/Lean/Parser/Tactic.olean
  1771. lib/lean/Lean/Parser/Tactic/Doc.ilean
  1772. lib/lean/Lean/Parser/Tactic/Doc.olean
  1773. lib/lean/Lean/Parser/Term.ilean
  1774. lib/lean/Lean/Parser/Term.olean
  1775. lib/lean/Lean/Parser/Types.ilean
  1776. lib/lean/Lean/Parser/Types.olean
  1777. lib/lean/Lean/ParserCompiler.ilean
  1778. lib/lean/Lean/ParserCompiler.olean
  1779. lib/lean/Lean/ParserCompiler/Attribute.ilean
  1780. lib/lean/Lean/ParserCompiler/Attribute.olean
  1781. lib/lean/Lean/PrettyPrinter.ilean
  1782. lib/lean/Lean/PrettyPrinter.olean
  1783. lib/lean/Lean/PrettyPrinter/Basic.ilean
  1784. lib/lean/Lean/PrettyPrinter/Basic.olean
  1785. lib/lean/Lean/PrettyPrinter/Delaborator.ilean
  1786. lib/lean/Lean/PrettyPrinter/Delaborator.olean
  1787. lib/lean/Lean/PrettyPrinter/Delaborator/Attributes.ilean
  1788. lib/lean/Lean/PrettyPrinter/Delaborator/Attributes.olean
  1789. lib/lean/Lean/PrettyPrinter/Delaborator/Basic.ilean
  1790. lib/lean/Lean/PrettyPrinter/Delaborator/Basic.olean
  1791. lib/lean/Lean/PrettyPrinter/Delaborator/Builtins.ilean
  1792. lib/lean/Lean/PrettyPrinter/Delaborator/Builtins.olean
  1793. lib/lean/Lean/PrettyPrinter/Delaborator/FieldNotation.ilean
  1794. lib/lean/Lean/PrettyPrinter/Delaborator/FieldNotation.olean
  1795. lib/lean/Lean/PrettyPrinter/Delaborator/Options.ilean
  1796. lib/lean/Lean/PrettyPrinter/Delaborator/Options.olean
  1797. lib/lean/Lean/PrettyPrinter/Delaborator/SubExpr.ilean
  1798. lib/lean/Lean/PrettyPrinter/Delaborator/SubExpr.olean
  1799. lib/lean/Lean/PrettyPrinter/Delaborator/TopDownAnalyze.ilean
  1800. lib/lean/Lean/PrettyPrinter/Delaborator/TopDownAnalyze.olean
  1801. lib/lean/Lean/PrettyPrinter/Formatter.ilean
  1802. lib/lean/Lean/PrettyPrinter/Formatter.olean
  1803. lib/lean/Lean/PrettyPrinter/Parenthesizer.ilean
  1804. lib/lean/Lean/PrettyPrinter/Parenthesizer.olean
  1805. lib/lean/Lean/ProjFns.ilean
  1806. lib/lean/Lean/ProjFns.olean
  1807. lib/lean/Lean/ReducibilityAttrs.ilean
  1808. lib/lean/Lean/ReducibilityAttrs.olean
  1809. lib/lean/Lean/Replay.ilean
  1810. lib/lean/Lean/Replay.olean
  1811. lib/lean/Lean/ReservedNameAction.ilean
  1812. lib/lean/Lean/ReservedNameAction.olean
  1813. lib/lean/Lean/ResolveName.ilean
  1814. lib/lean/Lean/ResolveName.olean
  1815. lib/lean/Lean/Runtime.ilean
  1816. lib/lean/Lean/Runtime.olean
  1817. lib/lean/Lean/ScopedEnvExtension.ilean
  1818. lib/lean/Lean/ScopedEnvExtension.olean
  1819. lib/lean/Lean/Server.ilean
  1820. lib/lean/Lean/Server.olean
  1821. lib/lean/Lean/Server/AsyncList.ilean
  1822. lib/lean/Lean/Server/AsyncList.olean
  1823. lib/lean/Lean/Server/CodeActions.ilean
  1824. lib/lean/Lean/Server/CodeActions.olean
  1825. lib/lean/Lean/Server/CodeActions/Attr.ilean
  1826. lib/lean/Lean/Server/CodeActions/Attr.olean
  1827. lib/lean/Lean/Server/CodeActions/Basic.ilean
  1828. lib/lean/Lean/Server/CodeActions/Basic.olean
  1829. lib/lean/Lean/Server/CodeActions/Provider.ilean
  1830. lib/lean/Lean/Server/CodeActions/Provider.olean
  1831. lib/lean/Lean/Server/Completion.ilean
  1832. lib/lean/Lean/Server/Completion.olean
  1833. lib/lean/Lean/Server/CompletionItemData.ilean
  1834. lib/lean/Lean/Server/CompletionItemData.olean
  1835. lib/lean/Lean/Server/FileSource.ilean
  1836. lib/lean/Lean/Server/FileSource.olean
  1837. lib/lean/Lean/Server/FileWorker.ilean
  1838. lib/lean/Lean/Server/FileWorker.olean
  1839. lib/lean/Lean/Server/FileWorker/RequestHandling.ilean
  1840. lib/lean/Lean/Server/FileWorker/RequestHandling.olean
  1841. lib/lean/Lean/Server/FileWorker/SetupFile.ilean
  1842. lib/lean/Lean/Server/FileWorker/SetupFile.olean
  1843. lib/lean/Lean/Server/FileWorker/Utils.ilean
  1844. lib/lean/Lean/Server/FileWorker/Utils.olean
  1845. lib/lean/Lean/Server/FileWorker/WidgetRequests.ilean
  1846. lib/lean/Lean/Server/FileWorker/WidgetRequests.olean
  1847. lib/lean/Lean/Server/GoTo.ilean
  1848. lib/lean/Lean/Server/GoTo.olean
  1849. lib/lean/Lean/Server/ImportCompletion.ilean
  1850. lib/lean/Lean/Server/ImportCompletion.olean
  1851. lib/lean/Lean/Server/InfoUtils.ilean
  1852. lib/lean/Lean/Server/InfoUtils.olean
  1853. lib/lean/Lean/Server/References.ilean
  1854. lib/lean/Lean/Server/References.olean
  1855. lib/lean/Lean/Server/Requests.ilean
  1856. lib/lean/Lean/Server/Requests.olean
  1857. lib/lean/Lean/Server/Rpc.ilean
  1858. lib/lean/Lean/Server/Rpc.olean
  1859. lib/lean/Lean/Server/Rpc/Basic.ilean
  1860. lib/lean/Lean/Server/Rpc/Basic.olean
  1861. lib/lean/Lean/Server/Rpc/Deriving.ilean
  1862. lib/lean/Lean/Server/Rpc/Deriving.olean
  1863. lib/lean/Lean/Server/Rpc/RequestHandling.ilean
  1864. lib/lean/Lean/Server/Rpc/RequestHandling.olean
  1865. lib/lean/Lean/Server/Snapshots.ilean
  1866. lib/lean/Lean/Server/Snapshots.olean
  1867. lib/lean/Lean/Server/Utils.ilean
  1868. lib/lean/Lean/Server/Utils.olean
  1869. lib/lean/Lean/Server/Watchdog.ilean
  1870. lib/lean/Lean/Server/Watchdog.olean
  1871. lib/lean/Lean/Structure.ilean
  1872. lib/lean/Lean/Structure.olean
  1873. lib/lean/Lean/SubExpr.ilean
  1874. lib/lean/Lean/SubExpr.olean
  1875. lib/lean/Lean/Syntax.ilean
  1876. lib/lean/Lean/Syntax.olean
  1877. lib/lean/Lean/ToExpr.ilean
  1878. lib/lean/Lean/ToExpr.olean
  1879. lib/lean/Lean/Util.ilean
  1880. lib/lean/Lean/Util.olean
  1881. lib/lean/Lean/Util/CollectAxioms.ilean
  1882. lib/lean/Lean/Util/CollectAxioms.olean
  1883. lib/lean/Lean/Util/CollectFVars.ilean
  1884. lib/lean/Lean/Util/CollectFVars.olean
  1885. lib/lean/Lean/Util/CollectLevelParams.ilean
  1886. lib/lean/Lean/Util/CollectLevelParams.olean
  1887. lib/lean/Lean/Util/CollectMVars.ilean
  1888. lib/lean/Lean/Util/CollectMVars.olean
  1889. lib/lean/Lean/Util/Diff.ilean
  1890. lib/lean/Lean/Util/Diff.olean
  1891. lib/lean/Lean/Util/FileSetupInfo.ilean
  1892. lib/lean/Lean/Util/FileSetupInfo.olean
  1893. lib/lean/Lean/Util/FindExpr.ilean
  1894. lib/lean/Lean/Util/FindExpr.olean
  1895. lib/lean/Lean/Util/FindLevelMVar.ilean
  1896. lib/lean/Lean/Util/FindLevelMVar.olean
  1897. lib/lean/Lean/Util/FindMVar.ilean
  1898. lib/lean/Lean/Util/FindMVar.olean
  1899. lib/lean/Lean/Util/FoldConsts.ilean
  1900. lib/lean/Lean/Util/FoldConsts.olean
  1901. lib/lean/Lean/Util/ForEachExpr.ilean
  1902. lib/lean/Lean/Util/ForEachExpr.olean
  1903. lib/lean/Lean/Util/ForEachExprWhere.ilean
  1904. lib/lean/Lean/Util/ForEachExprWhere.olean
  1905. lib/lean/Lean/Util/HasConstCache.ilean
  1906. lib/lean/Lean/Util/HasConstCache.olean
  1907. lib/lean/Lean/Util/Heartbeats.ilean
  1908. lib/lean/Lean/Util/Heartbeats.olean
  1909. lib/lean/Lean/Util/InstantiateLevelParams.ilean
  1910. lib/lean/Lean/Util/InstantiateLevelParams.olean
  1911. lib/lean/Lean/Util/LakePath.ilean
  1912. lib/lean/Lean/Util/LakePath.olean
  1913. lib/lean/Lean/Util/LeanOptions.ilean
  1914. lib/lean/Lean/Util/LeanOptions.olean
  1915. lib/lean/Lean/Util/MonadBacktrack.ilean
  1916. lib/lean/Lean/Util/MonadBacktrack.olean
  1917. lib/lean/Lean/Util/MonadCache.ilean
  1918. lib/lean/Lean/Util/MonadCache.olean
  1919. lib/lean/Lean/Util/NumApps.ilean
  1920. lib/lean/Lean/Util/NumApps.olean
  1921. lib/lean/Lean/Util/NumObjs.ilean
  1922. lib/lean/Lean/Util/NumObjs.olean
  1923. lib/lean/Lean/Util/OccursCheck.ilean
  1924. lib/lean/Lean/Util/OccursCheck.olean
  1925. lib/lean/Lean/Util/PPExt.ilean
  1926. lib/lean/Lean/Util/PPExt.olean
  1927. lib/lean/Lean/Util/Path.ilean
  1928. lib/lean/Lean/Util/Path.olean
  1929. lib/lean/Lean/Util/Paths.ilean
  1930. lib/lean/Lean/Util/Paths.olean
  1931. lib/lean/Lean/Util/Profile.ilean
  1932. lib/lean/Lean/Util/Profile.olean
  1933. lib/lean/Lean/Util/Profiler.ilean
  1934. lib/lean/Lean/Util/Profiler.olean
  1935. lib/lean/Lean/Util/PtrSet.ilean
  1936. lib/lean/Lean/Util/PtrSet.olean
  1937. lib/lean/Lean/Util/RecDepth.ilean
  1938. lib/lean/Lean/Util/RecDepth.olean
  1939. lib/lean/Lean/Util/Recognizers.ilean
  1940. lib/lean/Lean/Util/Recognizers.olean
  1941. lib/lean/Lean/Util/ReplaceExpr.ilean
  1942. lib/lean/Lean/Util/ReplaceExpr.olean
  1943. lib/lean/Lean/Util/ReplaceLevel.ilean
  1944. lib/lean/Lean/Util/ReplaceLevel.olean
  1945. lib/lean/Lean/Util/SCC.ilean
  1946. lib/lean/Lean/Util/SCC.olean
  1947. lib/lean/Lean/Util/SafeExponentiation.ilean
  1948. lib/lean/Lean/Util/SafeExponentiation.olean
  1949. lib/lean/Lean/Util/SearchPath.ilean
  1950. lib/lean/Lean/Util/SearchPath.olean
  1951. lib/lean/Lean/Util/ShareCommon.ilean
  1952. lib/lean/Lean/Util/ShareCommon.olean
  1953. lib/lean/Lean/Util/Sorry.ilean
  1954. lib/lean/Lean/Util/Sorry.olean
  1955. lib/lean/Lean/Util/TestExtern.ilean
  1956. lib/lean/Lean/Util/TestExtern.olean
  1957. lib/lean/Lean/Util/Trace.ilean
  1958. lib/lean/Lean/Util/Trace.olean
  1959. lib/lean/Lean/Widget.ilean
  1960. lib/lean/Lean/Widget.olean
  1961. lib/lean/Lean/Widget/Basic.ilean
  1962. lib/lean/Lean/Widget/Basic.olean
  1963. lib/lean/Lean/Widget/Diff.ilean
  1964. lib/lean/Lean/Widget/Diff.olean
  1965. lib/lean/Lean/Widget/InteractiveCode.ilean
  1966. lib/lean/Lean/Widget/InteractiveCode.olean
  1967. lib/lean/Lean/Widget/InteractiveDiagnostic.ilean
  1968. lib/lean/Lean/Widget/InteractiveDiagnostic.olean
  1969. lib/lean/Lean/Widget/InteractiveGoal.ilean
  1970. lib/lean/Lean/Widget/InteractiveGoal.olean
  1971. lib/lean/Lean/Widget/TaggedText.ilean
  1972. lib/lean/Lean/Widget/TaggedText.olean
  1973. lib/lean/Lean/Widget/Types.ilean
  1974. lib/lean/Lean/Widget/Types.olean
  1975. lib/lean/Lean/Widget/UserWidget.ilean
  1976. lib/lean/Lean/Widget/UserWidget.olean
  1977. lib/lean/Std.ilean
  1978. lib/lean/Std.olean
  1979. lib/lean/Std/Data.ilean
  1980. lib/lean/Std/Data.olean
  1981. lib/lean/Std/Data/DHashMap.ilean
  1982. lib/lean/Std/Data/DHashMap.olean
  1983. lib/lean/Std/Data/DHashMap/AdditionalOperations.ilean
  1984. lib/lean/Std/Data/DHashMap/AdditionalOperations.olean
  1985. lib/lean/Std/Data/DHashMap/Basic.ilean
  1986. lib/lean/Std/Data/DHashMap/Basic.olean
  1987. lib/lean/Std/Data/DHashMap/Internal/AssocList/Basic.ilean
  1988. lib/lean/Std/Data/DHashMap/Internal/AssocList/Basic.olean
  1989. lib/lean/Std/Data/DHashMap/Internal/AssocList/Lemmas.ilean
  1990. lib/lean/Std/Data/DHashMap/Internal/AssocList/Lemmas.olean
  1991. lib/lean/Std/Data/DHashMap/Internal/Defs.ilean
  1992. lib/lean/Std/Data/DHashMap/Internal/Defs.olean
  1993. lib/lean/Std/Data/DHashMap/Internal/Index.ilean
  1994. lib/lean/Std/Data/DHashMap/Internal/Index.olean
  1995. lib/lean/Std/Data/DHashMap/Internal/List/Associative.ilean
  1996. lib/lean/Std/Data/DHashMap/Internal/List/Associative.olean
  1997. lib/lean/Std/Data/DHashMap/Internal/List/Defs.ilean
  1998. lib/lean/Std/Data/DHashMap/Internal/List/Defs.olean
  1999. lib/lean/Std/Data/DHashMap/Internal/List/HashesTo.ilean
  2000. lib/lean/Std/Data/DHashMap/Internal/List/HashesTo.olean
  2001. lib/lean/Std/Data/DHashMap/Internal/List/Pairwise.ilean
  2002. lib/lean/Std/Data/DHashMap/Internal/List/Pairwise.olean
  2003. lib/lean/Std/Data/DHashMap/Internal/List/Sublist.ilean
  2004. lib/lean/Std/Data/DHashMap/Internal/List/Sublist.olean
  2005. lib/lean/Std/Data/DHashMap/Internal/Model.ilean
  2006. lib/lean/Std/Data/DHashMap/Internal/Model.olean
  2007. lib/lean/Std/Data/DHashMap/Internal/Raw.ilean
  2008. lib/lean/Std/Data/DHashMap/Internal/Raw.olean
  2009. lib/lean/Std/Data/DHashMap/Internal/RawLemmas.ilean
  2010. lib/lean/Std/Data/DHashMap/Internal/RawLemmas.olean
  2011. lib/lean/Std/Data/DHashMap/Internal/WF.ilean
  2012. lib/lean/Std/Data/DHashMap/Internal/WF.olean
  2013. lib/lean/Std/Data/DHashMap/Lemmas.ilean
  2014. lib/lean/Std/Data/DHashMap/Lemmas.olean
  2015. lib/lean/Std/Data/DHashMap/Raw.ilean
  2016. lib/lean/Std/Data/DHashMap/Raw.olean
  2017. lib/lean/Std/Data/DHashMap/RawDef.ilean
  2018. lib/lean/Std/Data/DHashMap/RawDef.olean
  2019. lib/lean/Std/Data/DHashMap/RawLemmas.ilean
  2020. lib/lean/Std/Data/DHashMap/RawLemmas.olean
  2021. lib/lean/Std/Data/HashMap.ilean
  2022. lib/lean/Std/Data/HashMap.olean
  2023. lib/lean/Std/Data/HashMap/AdditionalOperations.ilean
  2024. lib/lean/Std/Data/HashMap/AdditionalOperations.olean
  2025. lib/lean/Std/Data/HashMap/Basic.ilean
  2026. lib/lean/Std/Data/HashMap/Basic.olean
  2027. lib/lean/Std/Data/HashMap/Lemmas.ilean
  2028. lib/lean/Std/Data/HashMap/Lemmas.olean
  2029. lib/lean/Std/Data/HashMap/Raw.ilean
  2030. lib/lean/Std/Data/HashMap/Raw.olean
  2031. lib/lean/Std/Data/HashMap/RawLemmas.ilean
  2032. lib/lean/Std/Data/HashMap/RawLemmas.olean
  2033. lib/lean/Std/Data/HashSet.ilean
  2034. lib/lean/Std/Data/HashSet.olean
  2035. lib/lean/Std/Data/HashSet/Basic.ilean
  2036. lib/lean/Std/Data/HashSet/Basic.olean
  2037. lib/lean/Std/Data/HashSet/Lemmas.ilean
  2038. lib/lean/Std/Data/HashSet/Lemmas.olean
  2039. lib/lean/Std/Data/HashSet/Raw.ilean
  2040. lib/lean/Std/Data/HashSet/Raw.olean
  2041. lib/lean/Std/Data/HashSet/RawLemmas.ilean
  2042. lib/lean/Std/Data/HashSet/RawLemmas.olean
  2043. lib/lean/Std/Internal.ilean
  2044. lib/lean/Std/Internal.olean
  2045. lib/lean/Std/Internal/Parsec.ilean
  2046. lib/lean/Std/Internal/Parsec.olean
  2047. lib/lean/Std/Internal/Parsec/Basic.ilean
  2048. lib/lean/Std/Internal/Parsec/Basic.olean
  2049. lib/lean/Std/Internal/Parsec/ByteArray.ilean
  2050. lib/lean/Std/Internal/Parsec/ByteArray.olean
  2051. lib/lean/Std/Internal/Parsec/String.ilean
  2052. lib/lean/Std/Internal/Parsec/String.olean
  2053. lib/lean/Std/Sat.ilean
  2054. lib/lean/Std/Sat.olean
  2055. lib/lean/Std/Sat/AIG.ilean
  2056. lib/lean/Std/Sat/AIG.olean
  2057. lib/lean/Std/Sat/AIG/Basic.ilean
  2058. lib/lean/Std/Sat/AIG/Basic.olean
  2059. lib/lean/Std/Sat/AIG/CNF.ilean
  2060. lib/lean/Std/Sat/AIG/CNF.olean
  2061. lib/lean/Std/Sat/AIG/Cached.ilean
  2062. lib/lean/Std/Sat/AIG/Cached.olean
  2063. lib/lean/Std/Sat/AIG/CachedGates.ilean
  2064. lib/lean/Std/Sat/AIG/CachedGates.olean
  2065. lib/lean/Std/Sat/AIG/CachedGatesLemmas.ilean
  2066. lib/lean/Std/Sat/AIG/CachedGatesLemmas.olean
  2067. lib/lean/Std/Sat/AIG/CachedLemmas.ilean
  2068. lib/lean/Std/Sat/AIG/CachedLemmas.olean
  2069. lib/lean/Std/Sat/AIG/If.ilean
  2070. lib/lean/Std/Sat/AIG/If.olean
  2071. lib/lean/Std/Sat/AIG/LawfulOperator.ilean
  2072. lib/lean/Std/Sat/AIG/LawfulOperator.olean
  2073. lib/lean/Std/Sat/AIG/LawfulVecOperator.ilean
  2074. lib/lean/Std/Sat/AIG/LawfulVecOperator.olean
  2075. lib/lean/Std/Sat/AIG/Lemmas.ilean
  2076. lib/lean/Std/Sat/AIG/Lemmas.olean
  2077. lib/lean/Std/Sat/AIG/RefVec.ilean
  2078. lib/lean/Std/Sat/AIG/RefVec.olean
  2079. lib/lean/Std/Sat/AIG/RefVecOperator.ilean
  2080. lib/lean/Std/Sat/AIG/RefVecOperator.olean
  2081. lib/lean/Std/Sat/AIG/RefVecOperator/Fold.ilean
  2082. lib/lean/Std/Sat/AIG/RefVecOperator/Fold.olean
  2083. lib/lean/Std/Sat/AIG/RefVecOperator/Map.ilean
  2084. lib/lean/Std/Sat/AIG/RefVecOperator/Map.olean
  2085. lib/lean/Std/Sat/AIG/RefVecOperator/Zip.ilean
  2086. lib/lean/Std/Sat/AIG/RefVecOperator/Zip.olean
  2087. lib/lean/Std/Sat/AIG/Relabel.ilean
  2088. lib/lean/Std/Sat/AIG/Relabel.olean
  2089. lib/lean/Std/Sat/AIG/RelabelNat.ilean
  2090. lib/lean/Std/Sat/AIG/RelabelNat.olean
  2091. lib/lean/Std/Sat/CNF.ilean
  2092. lib/lean/Std/Sat/CNF.olean
  2093. lib/lean/Std/Sat/CNF/Basic.ilean
  2094. lib/lean/Std/Sat/CNF/Basic.olean
  2095. lib/lean/Std/Sat/CNF/Dimacs.ilean
  2096. lib/lean/Std/Sat/CNF/Dimacs.olean
  2097. lib/lean/Std/Sat/CNF/Literal.ilean
  2098. lib/lean/Std/Sat/CNF/Literal.olean
  2099. lib/lean/Std/Sat/CNF/Relabel.ilean
  2100. lib/lean/Std/Sat/CNF/Relabel.olean
  2101. lib/lean/Std/Sat/CNF/RelabelFin.ilean
  2102. lib/lean/Std/Sat/CNF/RelabelFin.olean
  2103. lib/lean/Std/Tactic.ilean
  2104. lib/lean/Std/Tactic.olean
  2105. lib/lean/Std/Tactic/BVDecide.ilean
  2106. lib/lean/Std/Tactic/BVDecide.olean
  2107. lib/lean/Std/Tactic/BVDecide/Bitblast.ilean
  2108. lib/lean/Std/Tactic/BVDecide/Bitblast.olean
  2109. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr.ilean
  2110. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr.olean
  2111. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Basic.ilean
  2112. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Basic.olean
  2113. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit.ilean
  2114. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit.olean
  2115. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl.ilean
  2116. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl.olean
  2117. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl/Carry.ilean
  2118. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl/Carry.olean
  2119. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl/Const.ilean
  2120. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl/Const.olean
  2121. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl/Expr.ilean
  2122. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl/Expr.olean
  2123. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl/Operations.ilean
  2124. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl/Operations.olean
  2125. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl/Operations/Add.ilean
  2126. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl/Operations/Add.olean
  2127. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl/Operations/Append.ilean
  2128. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl/Operations/Append.olean
  2129. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl/Operations/Eq.ilean
  2130. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl/Operations/Eq.olean
  2131. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl/Operations/Extract.ilean
  2132. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl/Operations/Extract.olean
  2133. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl/Operations/GetLsbD.ilean
  2134. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl/Operations/GetLsbD.olean
  2135. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl/Operations/Mul.ilean
  2136. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl/Operations/Mul.olean
  2137. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl/Operations/Not.ilean
  2138. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl/Operations/Not.olean
  2139. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl/Operations/Replicate.ilean
  2140. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl/Operations/Replicate.olean
  2141. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl/Operations/RotateLeft.ilean
  2142. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl/Operations/RotateLeft.olean
  2143. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl/Operations/RotateRight.ilean
  2144. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl/Operations/RotateRight.olean
  2145. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl/Operations/ShiftLeft.ilean
  2146. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl/Operations/ShiftLeft.olean
  2147. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl/Operations/ShiftRight.ilean
  2148. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl/Operations/ShiftRight.olean
  2149. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl/Operations/SignExtend.ilean
  2150. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl/Operations/SignExtend.olean
  2151. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl/Operations/Ult.ilean
  2152. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl/Operations/Ult.olean
  2153. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl/Operations/ZeroExtend.ilean
  2154. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl/Operations/ZeroExtend.olean
  2155. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl/Pred.ilean
  2156. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl/Pred.olean
  2157. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl/Var.ilean
  2158. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl/Var.olean
  2159. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Lemmas.ilean
  2160. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Lemmas.olean
  2161. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Lemmas/Basic.ilean
  2162. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Lemmas/Basic.olean
  2163. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Lemmas/Carry.ilean
  2164. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Lemmas/Carry.olean
  2165. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Lemmas/Const.ilean
  2166. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Lemmas/Const.olean
  2167. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Lemmas/Expr.ilean
  2168. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Lemmas/Expr.olean
  2169. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Lemmas/Operations.ilean
  2170. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Lemmas/Operations.olean
  2171. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Lemmas/Operations/Add.ilean
  2172. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Lemmas/Operations/Add.olean
  2173. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Lemmas/Operations/Append.ilean
  2174. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Lemmas/Operations/Append.olean
  2175. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Lemmas/Operations/Eq.ilean
  2176. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Lemmas/Operations/Eq.olean
  2177. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Lemmas/Operations/Extract.ilean
  2178. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Lemmas/Operations/Extract.olean
  2179. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Lemmas/Operations/GetLsbD.ilean
  2180. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Lemmas/Operations/GetLsbD.olean
  2181. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Lemmas/Operations/Mul.ilean
  2182. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Lemmas/Operations/Mul.olean
  2183. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Lemmas/Operations/Not.ilean
  2184. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Lemmas/Operations/Not.olean
  2185. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Lemmas/Operations/Replicate.ilean
  2186. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Lemmas/Operations/Replicate.olean
  2187. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Lemmas/Operations/RotateLeft.ilean
  2188. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Lemmas/Operations/RotateLeft.olean
  2189. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Lemmas/Operations/RotateRight.ilean
  2190. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Lemmas/Operations/RotateRight.olean
  2191. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Lemmas/Operations/ShiftLeft.ilean
  2192. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Lemmas/Operations/ShiftLeft.olean
  2193. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Lemmas/Operations/ShiftRight.ilean
  2194. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Lemmas/Operations/ShiftRight.olean
  2195. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Lemmas/Operations/SignExtend.ilean
  2196. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Lemmas/Operations/SignExtend.olean
  2197. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Lemmas/Operations/Ult.ilean
  2198. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Lemmas/Operations/Ult.olean
  2199. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Lemmas/Operations/ZeroExtend.ilean
  2200. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Lemmas/Operations/ZeroExtend.olean
  2201. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Lemmas/Pred.ilean
  2202. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Lemmas/Pred.olean
  2203. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Lemmas/Var.ilean
  2204. lib/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Lemmas/Var.olean
  2205. lib/lean/Std/Tactic/BVDecide/Bitblast/BoolExpr.ilean
  2206. lib/lean/Std/Tactic/BVDecide/Bitblast/BoolExpr.olean
  2207. lib/lean/Std/Tactic/BVDecide/Bitblast/BoolExpr/Basic.ilean
  2208. lib/lean/Std/Tactic/BVDecide/Bitblast/BoolExpr/Basic.olean
  2209. lib/lean/Std/Tactic/BVDecide/Bitblast/BoolExpr/Circuit.ilean
  2210. lib/lean/Std/Tactic/BVDecide/Bitblast/BoolExpr/Circuit.olean
  2211. lib/lean/Std/Tactic/BVDecide/LRAT.ilean
  2212. lib/lean/Std/Tactic/BVDecide/LRAT.olean
  2213. lib/lean/Std/Tactic/BVDecide/LRAT/Actions.ilean
  2214. lib/lean/Std/Tactic/BVDecide/LRAT/Actions.olean
  2215. lib/lean/Std/Tactic/BVDecide/LRAT/Checker.ilean
  2216. lib/lean/Std/Tactic/BVDecide/LRAT/Checker.olean
  2217. lib/lean/Std/Tactic/BVDecide/LRAT/Internal.ilean
  2218. lib/lean/Std/Tactic/BVDecide/LRAT/Internal.olean
  2219. lib/lean/Std/Tactic/BVDecide/LRAT/Internal/Actions.ilean
  2220. lib/lean/Std/Tactic/BVDecide/LRAT/Internal/Actions.olean
  2221. lib/lean/Std/Tactic/BVDecide/LRAT/Internal/Assignment.ilean
  2222. lib/lean/Std/Tactic/BVDecide/LRAT/Internal/Assignment.olean
  2223. lib/lean/Std/Tactic/BVDecide/LRAT/Internal/CNF.ilean
  2224. lib/lean/Std/Tactic/BVDecide/LRAT/Internal/CNF.olean
  2225. lib/lean/Std/Tactic/BVDecide/LRAT/Internal/Clause.ilean
  2226. lib/lean/Std/Tactic/BVDecide/LRAT/Internal/Clause.olean
  2227. lib/lean/Std/Tactic/BVDecide/LRAT/Internal/Convert.ilean
  2228. lib/lean/Std/Tactic/BVDecide/LRAT/Internal/Convert.olean
  2229. lib/lean/Std/Tactic/BVDecide/LRAT/Internal/Entails.ilean
  2230. lib/lean/Std/Tactic/BVDecide/LRAT/Internal/Entails.olean
  2231. lib/lean/Std/Tactic/BVDecide/LRAT/Internal/Formula.ilean
  2232. lib/lean/Std/Tactic/BVDecide/LRAT/Internal/Formula.olean
  2233. lib/lean/Std/Tactic/BVDecide/LRAT/Internal/Formula/Class.ilean
  2234. lib/lean/Std/Tactic/BVDecide/LRAT/Internal/Formula/Class.olean
  2235. lib/lean/Std/Tactic/BVDecide/LRAT/Internal/Formula/Implementation.ilean
  2236. lib/lean/Std/Tactic/BVDecide/LRAT/Internal/Formula/Implementation.olean
  2237. lib/lean/Std/Tactic/BVDecide/LRAT/Internal/Formula/Instance.ilean
  2238. lib/lean/Std/Tactic/BVDecide/LRAT/Internal/Formula/Instance.olean
  2239. lib/lean/Std/Tactic/BVDecide/LRAT/Internal/Formula/Lemmas.ilean
  2240. lib/lean/Std/Tactic/BVDecide/LRAT/Internal/Formula/Lemmas.olean
  2241. lib/lean/Std/Tactic/BVDecide/LRAT/Internal/Formula/RatAddResult.ilean
  2242. lib/lean/Std/Tactic/BVDecide/LRAT/Internal/Formula/RatAddResult.olean
  2243. lib/lean/Std/Tactic/BVDecide/LRAT/Internal/Formula/RatAddSound.ilean
  2244. lib/lean/Std/Tactic/BVDecide/LRAT/Internal/Formula/RatAddSound.olean
  2245. lib/lean/Std/Tactic/BVDecide/LRAT/Internal/Formula/RupAddResult.ilean
  2246. lib/lean/Std/Tactic/BVDecide/LRAT/Internal/Formula/RupAddResult.olean
  2247. lib/lean/Std/Tactic/BVDecide/LRAT/Internal/Formula/RupAddSound.ilean
  2248. lib/lean/Std/Tactic/BVDecide/LRAT/Internal/Formula/RupAddSound.olean
  2249. lib/lean/Std/Tactic/BVDecide/LRAT/Internal/LRATChecker.ilean
  2250. lib/lean/Std/Tactic/BVDecide/LRAT/Internal/LRATChecker.olean
  2251. lib/lean/Std/Tactic/BVDecide/LRAT/Internal/LRATCheckerSound.ilean
  2252. lib/lean/Std/Tactic/BVDecide/LRAT/Internal/LRATCheckerSound.olean
  2253. lib/lean/Std/Tactic/BVDecide/LRAT/Internal/PosFin.ilean
  2254. lib/lean/Std/Tactic/BVDecide/LRAT/Internal/PosFin.olean
  2255. lib/lean/Std/Tactic/BVDecide/LRAT/Parser.ilean
  2256. lib/lean/Std/Tactic/BVDecide/LRAT/Parser.olean
  2257. lib/lean/Std/Tactic/BVDecide/Normalize.ilean
  2258. lib/lean/Std/Tactic/BVDecide/Normalize.olean
  2259. lib/lean/Std/Tactic/BVDecide/Normalize/BitVec.ilean
  2260. lib/lean/Std/Tactic/BVDecide/Normalize/BitVec.olean
  2261. lib/lean/Std/Tactic/BVDecide/Normalize/Bool.ilean
  2262. lib/lean/Std/Tactic/BVDecide/Normalize/Bool.olean
  2263. lib/lean/Std/Tactic/BVDecide/Normalize/Canonicalize.ilean
  2264. lib/lean/Std/Tactic/BVDecide/Normalize/Canonicalize.olean
  2265. lib/lean/Std/Tactic/BVDecide/Normalize/Equal.ilean
  2266. lib/lean/Std/Tactic/BVDecide/Normalize/Equal.olean
  2267. lib/lean/Std/Tactic/BVDecide/Normalize/Prop.ilean
  2268. lib/lean/Std/Tactic/BVDecide/Normalize/Prop.olean
  2269. lib/lean/Std/Tactic/BVDecide/Reflect.ilean
  2270. lib/lean/Std/Tactic/BVDecide/Reflect.olean
  2271. lib/lean/Std/Tactic/BVDecide/Syntax.ilean
  2272. lib/lean/Std/Tactic/BVDecide/Syntax.olean
  2273. lib/lean/libInit.a
  2274. lib/lean/libInit_shared.so
  2275. lib/lean/libLake.a
  2276. lib/lean/libLean.a
  2277. lib/lean/libStd.a
  2278. lib/lean/libleancpp.a
  2279. lib/lean/libleanmanifest.a
  2280. lib/lean/libleanrt.a
  2281. lib/lean/libleanshared.so
  2282. lib/lean/libleanshared_1.so
  2283. share/lean/lean.mk
  2284. share/lean4/src/lean/Init.lean
  2285. share/lean4/src/lean/Init/BinderPredicates.lean
  2286. share/lean4/src/lean/Init/ByCases.lean
  2287. share/lean4/src/lean/Init/Classical.lean
  2288. share/lean4/src/lean/Init/Coe.lean
  2289. share/lean4/src/lean/Init/Control.lean
  2290. share/lean4/src/lean/Init/Control/Basic.lean
  2291. share/lean4/src/lean/Init/Control/EState.lean
  2292. share/lean4/src/lean/Init/Control/Except.lean
  2293. share/lean4/src/lean/Init/Control/ExceptCps.lean
  2294. share/lean4/src/lean/Init/Control/Id.lean
  2295. share/lean4/src/lean/Init/Control/Lawful.lean
  2296. share/lean4/src/lean/Init/Control/Lawful/Basic.lean
  2297. share/lean4/src/lean/Init/Control/Lawful/Instances.lean
  2298. share/lean4/src/lean/Init/Control/Option.lean
  2299. share/lean4/src/lean/Init/Control/Reader.lean
  2300. share/lean4/src/lean/Init/Control/State.lean
  2301. share/lean4/src/lean/Init/Control/StateCps.lean
  2302. share/lean4/src/lean/Init/Control/StateRef.lean
  2303. share/lean4/src/lean/Init/Conv.lean
  2304. share/lean4/src/lean/Init/Core.lean
  2305. share/lean4/src/lean/Init/Data.lean
  2306. share/lean4/src/lean/Init/Data/AC.lean
  2307. share/lean4/src/lean/Init/Data/Array.lean
  2308. share/lean4/src/lean/Init/Data/Array/Attach.lean
  2309. share/lean4/src/lean/Init/Data/Array/Basic.lean
  2310. share/lean4/src/lean/Init/Data/Array/BasicAux.lean
  2311. share/lean4/src/lean/Init/Data/Array/BinSearch.lean
  2312. share/lean4/src/lean/Init/Data/Array/DecidableEq.lean
  2313. share/lean4/src/lean/Init/Data/Array/InsertionSort.lean
  2314. share/lean4/src/lean/Init/Data/Array/Lemmas.lean
  2315. share/lean4/src/lean/Init/Data/Array/Mem.lean
  2316. share/lean4/src/lean/Init/Data/Array/QSort.lean
  2317. share/lean4/src/lean/Init/Data/Array/Subarray.lean
  2318. share/lean4/src/lean/Init/Data/Array/Subarray/Split.lean
  2319. share/lean4/src/lean/Init/Data/Array/TakeDrop.lean
  2320. share/lean4/src/lean/Init/Data/BEq.lean
  2321. share/lean4/src/lean/Init/Data/Basic.lean
  2322. share/lean4/src/lean/Init/Data/BitVec.lean
  2323. share/lean4/src/lean/Init/Data/BitVec/Basic.lean
  2324. share/lean4/src/lean/Init/Data/BitVec/Bitblast.lean
  2325. share/lean4/src/lean/Init/Data/BitVec/Folds.lean
  2326. share/lean4/src/lean/Init/Data/BitVec/Lemmas.lean
  2327. share/lean4/src/lean/Init/Data/Bool.lean
  2328. share/lean4/src/lean/Init/Data/ByteArray.lean
  2329. share/lean4/src/lean/Init/Data/ByteArray/Basic.lean
  2330. share/lean4/src/lean/Init/Data/Cast.lean
  2331. share/lean4/src/lean/Init/Data/Channel.lean
  2332. share/lean4/src/lean/Init/Data/Char.lean
  2333. share/lean4/src/lean/Init/Data/Char/Basic.lean
  2334. share/lean4/src/lean/Init/Data/Char/Lemmas.lean
  2335. share/lean4/src/lean/Init/Data/Fin.lean
  2336. share/lean4/src/lean/Init/Data/Fin/Basic.lean
  2337. share/lean4/src/lean/Init/Data/Fin/Bitwise.lean
  2338. share/lean4/src/lean/Init/Data/Fin/Fold.lean
  2339. share/lean4/src/lean/Init/Data/Fin/Iterate.lean
  2340. share/lean4/src/lean/Init/Data/Fin/Lemmas.lean
  2341. share/lean4/src/lean/Init/Data/Fin/Log2.lean
  2342. share/lean4/src/lean/Init/Data/Float.lean
  2343. share/lean4/src/lean/Init/Data/FloatArray.lean
  2344. share/lean4/src/lean/Init/Data/FloatArray/Basic.lean
  2345. share/lean4/src/lean/Init/Data/Format.lean
  2346. share/lean4/src/lean/Init/Data/Format/Basic.lean
  2347. share/lean4/src/lean/Init/Data/Format/Instances.lean
  2348. share/lean4/src/lean/Init/Data/Format/Macro.lean
  2349. share/lean4/src/lean/Init/Data/Format/Syntax.lean
  2350. share/lean4/src/lean/Init/Data/Hashable.lean
  2351. share/lean4/src/lean/Init/Data/Int.lean
  2352. share/lean4/src/lean/Init/Data/Int/Basic.lean
  2353. share/lean4/src/lean/Init/Data/Int/Bitwise.lean
  2354. share/lean4/src/lean/Init/Data/Int/Bitwise/Lemmas.lean
  2355. share/lean4/src/lean/Init/Data/Int/DivMod.lean
  2356. share/lean4/src/lean/Init/Data/Int/DivModLemmas.lean
  2357. share/lean4/src/lean/Init/Data/Int/Gcd.lean
  2358. share/lean4/src/lean/Init/Data/Int/Lemmas.lean
  2359. share/lean4/src/lean/Init/Data/Int/LemmasAux.lean
  2360. share/lean4/src/lean/Init/Data/Int/Order.lean
  2361. share/lean4/src/lean/Init/Data/Int/Pow.lean
  2362. share/lean4/src/lean/Init/Data/List.lean
  2363. share/lean4/src/lean/Init/Data/List/Attach.lean
  2364. share/lean4/src/lean/Init/Data/List/Basic.lean
  2365. share/lean4/src/lean/Init/Data/List/BasicAux.lean
  2366. share/lean4/src/lean/Init/Data/List/Control.lean
  2367. share/lean4/src/lean/Init/Data/List/Count.lean
  2368. share/lean4/src/lean/Init/Data/List/Erase.lean
  2369. share/lean4/src/lean/Init/Data/List/Find.lean
  2370. share/lean4/src/lean/Init/Data/List/Impl.lean
  2371. share/lean4/src/lean/Init/Data/List/Lemmas.lean
  2372. share/lean4/src/lean/Init/Data/List/MinMax.lean
  2373. share/lean4/src/lean/Init/Data/List/Monadic.lean
  2374. share/lean4/src/lean/Init/Data/List/Nat.lean
  2375. share/lean4/src/lean/Init/Data/List/Nat/Basic.lean
  2376. share/lean4/src/lean/Init/Data/List/Nat/Pairwise.lean
  2377. share/lean4/src/lean/Init/Data/List/Nat/Range.lean
  2378. share/lean4/src/lean/Init/Data/List/Nat/Sublist.lean
  2379. share/lean4/src/lean/Init/Data/List/Nat/TakeDrop.lean
  2380. share/lean4/src/lean/Init/Data/List/Notation.lean
  2381. share/lean4/src/lean/Init/Data/List/Pairwise.lean
  2382. share/lean4/src/lean/Init/Data/List/Perm.lean
  2383. share/lean4/src/lean/Init/Data/List/Range.lean
  2384. share/lean4/src/lean/Init/Data/List/Sort.lean
  2385. share/lean4/src/lean/Init/Data/List/Sort/Basic.lean
  2386. share/lean4/src/lean/Init/Data/List/Sort/Impl.lean
  2387. share/lean4/src/lean/Init/Data/List/Sort/Lemmas.lean
  2388. share/lean4/src/lean/Init/Data/List/Sublist.lean
  2389. share/lean4/src/lean/Init/Data/List/TakeDrop.lean
  2390. share/lean4/src/lean/Init/Data/List/Zip.lean
  2391. share/lean4/src/lean/Init/Data/Nat.lean
  2392. share/lean4/src/lean/Init/Data/Nat/Basic.lean
  2393. share/lean4/src/lean/Init/Data/Nat/Bitwise.lean
  2394. share/lean4/src/lean/Init/Data/Nat/Bitwise/Basic.lean
  2395. share/lean4/src/lean/Init/Data/Nat/Bitwise/Lemmas.lean
  2396. share/lean4/src/lean/Init/Data/Nat/Compare.lean
  2397. share/lean4/src/lean/Init/Data/Nat/Control.lean
  2398. share/lean4/src/lean/Init/Data/Nat/Div.lean
  2399. share/lean4/src/lean/Init/Data/Nat/Dvd.lean
  2400. share/lean4/src/lean/Init/Data/Nat/Gcd.lean
  2401. share/lean4/src/lean/Init/Data/Nat/Lcm.lean
  2402. share/lean4/src/lean/Init/Data/Nat/Lemmas.lean
  2403. share/lean4/src/lean/Init/Data/Nat/Linear.lean
  2404. share/lean4/src/lean/Init/Data/Nat/Log2.lean
  2405. share/lean4/src/lean/Init/Data/Nat/MinMax.lean
  2406. share/lean4/src/lean/Init/Data/Nat/Mod.lean
  2407. share/lean4/src/lean/Init/Data/Nat/Power2.lean
  2408. share/lean4/src/lean/Init/Data/Nat/SOM.lean
  2409. share/lean4/src/lean/Init/Data/Nat/Simproc.lean
  2410. share/lean4/src/lean/Init/Data/OfScientific.lean
  2411. share/lean4/src/lean/Init/Data/Option.lean
  2412. share/lean4/src/lean/Init/Data/Option/Basic.lean
  2413. share/lean4/src/lean/Init/Data/Option/BasicAux.lean
  2414. share/lean4/src/lean/Init/Data/Option/Instances.lean
  2415. share/lean4/src/lean/Init/Data/Option/Lemmas.lean
  2416. share/lean4/src/lean/Init/Data/Ord.lean
  2417. share/lean4/src/lean/Init/Data/PLift.lean
  2418. share/lean4/src/lean/Init/Data/Prod.lean
  2419. share/lean4/src/lean/Init/Data/Queue.lean
  2420. share/lean4/src/lean/Init/Data/Random.lean
  2421. share/lean4/src/lean/Init/Data/Range.lean
  2422. share/lean4/src/lean/Init/Data/Repr.lean
  2423. share/lean4/src/lean/Init/Data/Stream.lean
  2424. share/lean4/src/lean/Init/Data/String.lean
  2425. share/lean4/src/lean/Init/Data/String/Basic.lean
  2426. share/lean4/src/lean/Init/Data/String/Extra.lean
  2427. share/lean4/src/lean/Init/Data/String/Lemmas.lean
  2428. share/lean4/src/lean/Init/Data/Subtype.lean
  2429. share/lean4/src/lean/Init/Data/Sum.lean
  2430. share/lean4/src/lean/Init/Data/ToString.lean
  2431. share/lean4/src/lean/Init/Data/ToString/Basic.lean
  2432. share/lean4/src/lean/Init/Data/ToString/Macro.lean
  2433. share/lean4/src/lean/Init/Data/UInt.lean
  2434. share/lean4/src/lean/Init/Data/UInt/Basic.lean
  2435. share/lean4/src/lean/Init/Data/UInt/Bitwise.lean
  2436. share/lean4/src/lean/Init/Data/UInt/Lemmas.lean
  2437. share/lean4/src/lean/Init/Data/UInt/Log2.lean
  2438. share/lean4/src/lean/Init/Data/ULift.lean
  2439. share/lean4/src/lean/Init/Dynamic.lean
  2440. share/lean4/src/lean/Init/Ext.lean
  2441. share/lean4/src/lean/Init/GetElem.lean
  2442. share/lean4/src/lean/Init/Grind.lean
  2443. share/lean4/src/lean/Init/Grind/Cases.lean
  2444. share/lean4/src/lean/Init/Grind/Lemmas.lean
  2445. share/lean4/src/lean/Init/Grind/Norm.lean
  2446. share/lean4/src/lean/Init/Grind/Tactics.lean
  2447. share/lean4/src/lean/Init/Guard.lean
  2448. share/lean4/src/lean/Init/Hints.lean
  2449. share/lean4/src/lean/Init/MacroTrace.lean
  2450. share/lean4/src/lean/Init/Meta.lean
  2451. share/lean4/src/lean/Init/MetaTypes.lean
  2452. share/lean4/src/lean/Init/Notation.lean
  2453. share/lean4/src/lean/Init/NotationExtra.lean
  2454. share/lean4/src/lean/Init/Omega.lean
  2455. share/lean4/src/lean/Init/Omega/Coeffs.lean
  2456. share/lean4/src/lean/Init/Omega/Constraint.lean
  2457. share/lean4/src/lean/Init/Omega/Int.lean
  2458. share/lean4/src/lean/Init/Omega/IntList.lean
  2459. share/lean4/src/lean/Init/Omega/LinearCombo.lean
  2460. share/lean4/src/lean/Init/Omega/Logic.lean
  2461. share/lean4/src/lean/Init/Prelude.lean
  2462. share/lean4/src/lean/Init/PropLemmas.lean
  2463. share/lean4/src/lean/Init/RCases.lean
  2464. share/lean4/src/lean/Init/ShareCommon.lean
  2465. share/lean4/src/lean/Init/SimpLemmas.lean
  2466. share/lean4/src/lean/Init/Simproc.lean
  2467. share/lean4/src/lean/Init/SizeOf.lean
  2468. share/lean4/src/lean/Init/SizeOfLemmas.lean
  2469. share/lean4/src/lean/Init/System.lean
  2470. share/lean4/src/lean/Init/System/FilePath.lean
  2471. share/lean4/src/lean/Init/System/IO.lean
  2472. share/lean4/src/lean/Init/System/IOError.lean
  2473. share/lean4/src/lean/Init/System/Mutex.lean
  2474. share/lean4/src/lean/Init/System/Platform.lean
  2475. share/lean4/src/lean/Init/System/Promise.lean
  2476. share/lean4/src/lean/Init/System/ST.lean
  2477. share/lean4/src/lean/Init/System/Uri.lean
  2478. share/lean4/src/lean/Init/Tactics.lean
  2479. share/lean4/src/lean/Init/TacticsExtra.lean
  2480. share/lean4/src/lean/Init/Util.lean
  2481. share/lean4/src/lean/Init/WF.lean
  2482. share/lean4/src/lean/Init/WFTactics.lean
  2483. share/lean4/src/lean/Lean.lean
  2484. share/lean4/src/lean/Lean/AddDecl.lean
  2485. share/lean4/src/lean/Lean/Attributes.lean
  2486. share/lean4/src/lean/Lean/AuxRecursor.lean
  2487. share/lean4/src/lean/Lean/BuiltinDocAttr.lean
  2488. share/lean4/src/lean/Lean/Class.lean
  2489. share/lean4/src/lean/Lean/Compiler.lean
  2490. share/lean4/src/lean/Lean/Compiler/AtMostOnce.lean
  2491. share/lean4/src/lean/Lean/Compiler/BorrowedAnnotation.lean
  2492. share/lean4/src/lean/Lean/Compiler/CSimpAttr.lean
  2493. share/lean4/src/lean/Lean/Compiler/ClosedTermCache.lean
  2494. share/lean4/src/lean/Lean/Compiler/ConstFolding.lean
  2495. share/lean4/src/lean/Lean/Compiler/ExportAttr.lean
  2496. share/lean4/src/lean/Lean/Compiler/ExternAttr.lean
  2497. share/lean4/src/lean/Lean/Compiler/FFI.lean
  2498. share/lean4/src/lean/Lean/Compiler/IR.lean
  2499. share/lean4/src/lean/Lean/Compiler/IR/Basic.lean
  2500. share/lean4/src/lean/Lean/Compiler/IR/Borrow.lean
  2501. share/lean4/src/lean/Lean/Compiler/IR/Boxing.lean
  2502. share/lean4/src/lean/Lean/Compiler/IR/Checker.lean
  2503. share/lean4/src/lean/Lean/Compiler/IR/CompilerM.lean
  2504. share/lean4/src/lean/Lean/Compiler/IR/CtorLayout.lean
  2505. share/lean4/src/lean/Lean/Compiler/IR/ElimDeadBranches.lean
  2506. share/lean4/src/lean/Lean/Compiler/IR/ElimDeadVars.lean
  2507. share/lean4/src/lean/Lean/Compiler/IR/EmitC.lean
  2508. share/lean4/src/lean/Lean/Compiler/IR/EmitLLVM.lean
  2509. share/lean4/src/lean/Lean/Compiler/IR/EmitUtil.lean
  2510. share/lean4/src/lean/Lean/Compiler/IR/ExpandResetReuse.lean
  2511. share/lean4/src/lean/Lean/Compiler/IR/Format.lean
  2512. share/lean4/src/lean/Lean/Compiler/IR/FreeVars.lean
  2513. share/lean4/src/lean/Lean/Compiler/IR/LLVMBindings.lean
  2514. share/lean4/src/lean/Lean/Compiler/IR/LiveVars.lean
  2515. share/lean4/src/lean/Lean/Compiler/IR/NormIds.lean
  2516. share/lean4/src/lean/Lean/Compiler/IR/PushProj.lean
  2517. share/lean4/src/lean/Lean/Compiler/IR/RC.lean
  2518. share/lean4/src/lean/Lean/Compiler/IR/ResetReuse.lean
  2519. share/lean4/src/lean/Lean/Compiler/IR/SimpCase.lean
  2520. share/lean4/src/lean/Lean/Compiler/IR/Sorry.lean
  2521. share/lean4/src/lean/Lean/Compiler/IR/UnboxResult.lean
  2522. share/lean4/src/lean/Lean/Compiler/ImplementedByAttr.lean
  2523. share/lean4/src/lean/Lean/Compiler/InitAttr.lean
  2524. share/lean4/src/lean/Lean/Compiler/InlineAttrs.lean
  2525. share/lean4/src/lean/Lean/Compiler/LCNF.lean
  2526. share/lean4/src/lean/Lean/Compiler/LCNF/AlphaEqv.lean
  2527. share/lean4/src/lean/Lean/Compiler/LCNF/AuxDeclCache.lean
  2528. share/lean4/src/lean/Lean/Compiler/LCNF/BaseTypes.lean
  2529. share/lean4/src/lean/Lean/Compiler/LCNF/Basic.lean
  2530. share/lean4/src/lean/Lean/Compiler/LCNF/Bind.lean
  2531. share/lean4/src/lean/Lean/Compiler/LCNF/CSE.lean
  2532. share/lean4/src/lean/Lean/Compiler/LCNF/Check.lean
  2533. share/lean4/src/lean/Lean/Compiler/LCNF/Closure.lean
  2534. share/lean4/src/lean/Lean/Compiler/LCNF/CompatibleTypes.lean
  2535. share/lean4/src/lean/Lean/Compiler/LCNF/CompilerM.lean
  2536. share/lean4/src/lean/Lean/Compiler/LCNF/ConfigOptions.lean
  2537. share/lean4/src/lean/Lean/Compiler/LCNF/DeclHash.lean
  2538. share/lean4/src/lean/Lean/Compiler/LCNF/DependsOn.lean
  2539. share/lean4/src/lean/Lean/Compiler/LCNF/ElimDead.lean
  2540. share/lean4/src/lean/Lean/Compiler/LCNF/ElimDeadBranches.lean
  2541. share/lean4/src/lean/Lean/Compiler/LCNF/FVarUtil.lean
  2542. share/lean4/src/lean/Lean/Compiler/LCNF/FixedParams.lean
  2543. share/lean4/src/lean/Lean/Compiler/LCNF/FloatLetIn.lean
  2544. share/lean4/src/lean/Lean/Compiler/LCNF/ForEachExpr.lean
  2545. share/lean4/src/lean/Lean/Compiler/LCNF/InferType.lean
  2546. share/lean4/src/lean/Lean/Compiler/LCNF/Internalize.lean
  2547. share/lean4/src/lean/Lean/Compiler/LCNF/JoinPoints.lean
  2548. share/lean4/src/lean/Lean/Compiler/LCNF/LCtx.lean
  2549. share/lean4/src/lean/Lean/Compiler/LCNF/LambdaLifting.lean
  2550. share/lean4/src/lean/Lean/Compiler/LCNF/Level.lean
  2551. share/lean4/src/lean/Lean/Compiler/LCNF/Main.lean
  2552. share/lean4/src/lean/Lean/Compiler/LCNF/MonadScope.lean
  2553. share/lean4/src/lean/Lean/Compiler/LCNF/MonoTypes.lean
  2554. share/lean4/src/lean/Lean/Compiler/LCNF/OtherDecl.lean
  2555. share/lean4/src/lean/Lean/Compiler/LCNF/PassManager.lean
  2556. share/lean4/src/lean/Lean/Compiler/LCNF/Passes.lean
  2557. share/lean4/src/lean/Lean/Compiler/LCNF/PhaseExt.lean
  2558. share/lean4/src/lean/Lean/Compiler/LCNF/PrettyPrinter.lean
  2559. share/lean4/src/lean/Lean/Compiler/LCNF/Probing.lean
  2560. share/lean4/src/lean/Lean/Compiler/LCNF/PullFunDecls.lean
  2561. share/lean4/src/lean/Lean/Compiler/LCNF/PullLetDecls.lean
  2562. share/lean4/src/lean/Lean/Compiler/LCNF/ReduceArity.lean
  2563. share/lean4/src/lean/Lean/Compiler/LCNF/ReduceJpArity.lean
  2564. share/lean4/src/lean/Lean/Compiler/LCNF/Renaming.lean
  2565. share/lean4/src/lean/Lean/Compiler/LCNF/ScopeM.lean
  2566. share/lean4/src/lean/Lean/Compiler/LCNF/Simp.lean
  2567. share/lean4/src/lean/Lean/Compiler/LCNF/Simp/Basic.lean
  2568. share/lean4/src/lean/Lean/Compiler/LCNF/Simp/Config.lean
  2569. share/lean4/src/lean/Lean/Compiler/LCNF/Simp/ConstantFold.lean
  2570. share/lean4/src/lean/Lean/Compiler/LCNF/Simp/DefaultAlt.lean
  2571. share/lean4/src/lean/Lean/Compiler/LCNF/Simp/DiscrM.lean
  2572. share/lean4/src/lean/Lean/Compiler/LCNF/Simp/FunDeclInfo.lean
  2573. share/lean4/src/lean/Lean/Compiler/LCNF/Simp/InlineCandidate.lean
  2574. share/lean4/src/lean/Lean/Compiler/LCNF/Simp/InlineProj.lean
  2575. share/lean4/src/lean/Lean/Compiler/LCNF/Simp/JpCases.lean
  2576. share/lean4/src/lean/Lean/Compiler/LCNF/Simp/Main.lean
  2577. share/lean4/src/lean/Lean/Compiler/LCNF/Simp/SimpM.lean
  2578. share/lean4/src/lean/Lean/Compiler/LCNF/Simp/SimpValue.lean
  2579. share/lean4/src/lean/Lean/Compiler/LCNF/Simp/Used.lean
  2580. share/lean4/src/lean/Lean/Compiler/LCNF/SpecInfo.lean
  2581. share/lean4/src/lean/Lean/Compiler/LCNF/Specialize.lean
  2582. share/lean4/src/lean/Lean/Compiler/LCNF/Testing.lean
  2583. share/lean4/src/lean/Lean/Compiler/LCNF/ToDecl.lean
  2584. share/lean4/src/lean/Lean/Compiler/LCNF/ToExpr.lean
  2585. share/lean4/src/lean/Lean/Compiler/LCNF/ToLCNF.lean
  2586. share/lean4/src/lean/Lean/Compiler/LCNF/ToMono.lean
  2587. share/lean4/src/lean/Lean/Compiler/LCNF/Types.lean
  2588. share/lean4/src/lean/Lean/Compiler/LCNF/Util.lean
  2589. share/lean4/src/lean/Lean/Compiler/Main.lean
  2590. share/lean4/src/lean/Lean/Compiler/NameMangling.lean
  2591. share/lean4/src/lean/Lean/Compiler/NeverExtractAttr.lean
  2592. share/lean4/src/lean/Lean/Compiler/NoncomputableAttr.lean
  2593. share/lean4/src/lean/Lean/Compiler/Old.lean
  2594. share/lean4/src/lean/Lean/Compiler/Options.lean
  2595. share/lean4/src/lean/Lean/Compiler/Specialize.lean
  2596. share/lean4/src/lean/Lean/CoreM.lean
  2597. share/lean4/src/lean/Lean/Data.lean
  2598. share/lean4/src/lean/Lean/Data/Array.lean
  2599. share/lean4/src/lean/Lean/Data/AssocList.lean
  2600. share/lean4/src/lean/Lean/Data/Format.lean
  2601. share/lean4/src/lean/Lean/Data/FuzzyMatching.lean
  2602. share/lean4/src/lean/Lean/Data/HashMap.lean
  2603. share/lean4/src/lean/Lean/Data/HashSet.lean
  2604. share/lean4/src/lean/Lean/Data/Json.lean
  2605. share/lean4/src/lean/Lean/Data/Json/Basic.lean
  2606. share/lean4/src/lean/Lean/Data/Json/Elab.lean
  2607. share/lean4/src/lean/Lean/Data/Json/FromToJson.lean
  2608. share/lean4/src/lean/Lean/Data/Json/Parser.lean
  2609. share/lean4/src/lean/Lean/Data/Json/Printer.lean
  2610. share/lean4/src/lean/Lean/Data/Json/Stream.lean
  2611. share/lean4/src/lean/Lean/Data/JsonRpc.lean
  2612. share/lean4/src/lean/Lean/Data/KVMap.lean
  2613. share/lean4/src/lean/Lean/Data/LBool.lean
  2614. share/lean4/src/lean/Lean/Data/LOption.lean
  2615. share/lean4/src/lean/Lean/Data/Lsp.lean
  2616. share/lean4/src/lean/Lean/Data/Lsp/Basic.lean
  2617. share/lean4/src/lean/Lean/Data/Lsp/Capabilities.lean
  2618. share/lean4/src/lean/Lean/Data/Lsp/Client.lean
  2619. share/lean4/src/lean/Lean/Data/Lsp/CodeActions.lean
  2620. share/lean4/src/lean/Lean/Data/Lsp/Communication.lean
  2621. share/lean4/src/lean/Lean/Data/Lsp/Diagnostics.lean
  2622. share/lean4/src/lean/Lean/Data/Lsp/Extra.lean
  2623. share/lean4/src/lean/Lean/Data/Lsp/InitShutdown.lean
  2624. share/lean4/src/lean/Lean/Data/Lsp/Internal.lean
  2625. share/lean4/src/lean/Lean/Data/Lsp/Ipc.lean
  2626. share/lean4/src/lean/Lean/Data/Lsp/LanguageFeatures.lean
  2627. share/lean4/src/lean/Lean/Data/Lsp/TextSync.lean
  2628. share/lean4/src/lean/Lean/Data/Lsp/Utf16.lean
  2629. share/lean4/src/lean/Lean/Data/Lsp/Window.lean
  2630. share/lean4/src/lean/Lean/Data/Lsp/Workspace.lean
  2631. share/lean4/src/lean/Lean/Data/Name.lean
  2632. share/lean4/src/lean/Lean/Data/NameMap.lean
  2633. share/lean4/src/lean/Lean/Data/NameTrie.lean
  2634. share/lean4/src/lean/Lean/Data/OpenDecl.lean
  2635. share/lean4/src/lean/Lean/Data/Options.lean
  2636. share/lean4/src/lean/Lean/Data/PersistentArray.lean
  2637. share/lean4/src/lean/Lean/Data/PersistentHashMap.lean
  2638. share/lean4/src/lean/Lean/Data/PersistentHashSet.lean
  2639. share/lean4/src/lean/Lean/Data/Position.lean
  2640. share/lean4/src/lean/Lean/Data/PrefixTree.lean
  2641. share/lean4/src/lean/Lean/Data/RBMap.lean
  2642. share/lean4/src/lean/Lean/Data/RBTree.lean
  2643. share/lean4/src/lean/Lean/Data/Rat.lean
  2644. share/lean4/src/lean/Lean/Data/SMap.lean
  2645. share/lean4/src/lean/Lean/Data/SSet.lean
  2646. share/lean4/src/lean/Lean/Data/Trie.lean
  2647. share/lean4/src/lean/Lean/Data/Xml.lean
  2648. share/lean4/src/lean/Lean/Data/Xml/Basic.lean
  2649. share/lean4/src/lean/Lean/Data/Xml/Parser.lean
  2650. share/lean4/src/lean/Lean/Declaration.lean
  2651. share/lean4/src/lean/Lean/DeclarationRange.lean
  2652. share/lean4/src/lean/Lean/DocString.lean
  2653. share/lean4/src/lean/Lean/DocString/Extension.lean
  2654. share/lean4/src/lean/Lean/Elab.lean
  2655. share/lean4/src/lean/Lean/Elab/App.lean
  2656. share/lean4/src/lean/Lean/Elab/Arg.lean
  2657. share/lean4/src/lean/Lean/Elab/Attributes.lean
  2658. share/lean4/src/lean/Lean/Elab/AutoBound.lean
  2659. share/lean4/src/lean/Lean/Elab/AuxDef.lean
  2660. share/lean4/src/lean/Lean/Elab/BinderPredicates.lean
  2661. share/lean4/src/lean/Lean/Elab/Binders.lean
  2662. share/lean4/src/lean/Lean/Elab/BindersUtil.lean
  2663. share/lean4/src/lean/Lean/Elab/BuiltinCommand.lean
  2664. share/lean4/src/lean/Lean/Elab/BuiltinNotation.lean
  2665. share/lean4/src/lean/Lean/Elab/BuiltinTerm.lean
  2666. share/lean4/src/lean/Lean/Elab/Calc.lean
  2667. share/lean4/src/lean/Lean/Elab/CheckTactic.lean
  2668. share/lean4/src/lean/Lean/Elab/Command.lean
  2669. share/lean4/src/lean/Lean/Elab/ComputedFields.lean
  2670. share/lean4/src/lean/Lean/Elab/Config.lean
  2671. share/lean4/src/lean/Lean/Elab/DeclModifiers.lean
  2672. share/lean4/src/lean/Lean/Elab/DeclNameGen.lean
  2673. share/lean4/src/lean/Lean/Elab/DeclUtil.lean
  2674. share/lean4/src/lean/Lean/Elab/Declaration.lean
  2675. share/lean4/src/lean/Lean/Elab/DeclarationRange.lean
  2676. share/lean4/src/lean/Lean/Elab/DefView.lean
  2677. share/lean4/src/lean/Lean/Elab/Deriving.lean
  2678. share/lean4/src/lean/Lean/Elab/Deriving/BEq.lean
  2679. share/lean4/src/lean/Lean/Elab/Deriving/Basic.lean
  2680. share/lean4/src/lean/Lean/Elab/Deriving/DecEq.lean
  2681. share/lean4/src/lean/Lean/Elab/Deriving/FromToJson.lean
  2682. share/lean4/src/lean/Lean/Elab/Deriving/Hashable.lean
  2683. share/lean4/src/lean/Lean/Elab/Deriving/Inhabited.lean
  2684. share/lean4/src/lean/Lean/Elab/Deriving/Nonempty.lean
  2685. share/lean4/src/lean/Lean/Elab/Deriving/Ord.lean
  2686. share/lean4/src/lean/Lean/Elab/Deriving/Repr.lean
  2687. share/lean4/src/lean/Lean/Elab/Deriving/SizeOf.lean
  2688. share/lean4/src/lean/Lean/Elab/Deriving/TypeName.lean
  2689. share/lean4/src/lean/Lean/Elab/Deriving/Util.lean
  2690. share/lean4/src/lean/Lean/Elab/Do.lean
  2691. share/lean4/src/lean/Lean/Elab/ElabRules.lean
  2692. share/lean4/src/lean/Lean/Elab/Eval.lean
  2693. share/lean4/src/lean/Lean/Elab/Exception.lean
  2694. share/lean4/src/lean/Lean/Elab/Extra.lean
  2695. share/lean4/src/lean/Lean/Elab/Frontend.lean
  2696. share/lean4/src/lean/Lean/Elab/GenInjective.lean
  2697. share/lean4/src/lean/Lean/Elab/GuardMsgs.lean
  2698. share/lean4/src/lean/Lean/Elab/Import.lean
  2699. share/lean4/src/lean/Lean/Elab/Inductive.lean
  2700. share/lean4/src/lean/Lean/Elab/InfoTree.lean
  2701. share/lean4/src/lean/Lean/Elab/InfoTree/Main.lean
  2702. share/lean4/src/lean/Lean/Elab/InfoTree/Types.lean
  2703. share/lean4/src/lean/Lean/Elab/InheritDoc.lean
  2704. share/lean4/src/lean/Lean/Elab/LetRec.lean
  2705. share/lean4/src/lean/Lean/Elab/Level.lean
  2706. share/lean4/src/lean/Lean/Elab/Macro.lean
  2707. share/lean4/src/lean/Lean/Elab/MacroArgUtil.lean
  2708. share/lean4/src/lean/Lean/Elab/MacroRules.lean
  2709. share/lean4/src/lean/Lean/Elab/Match.lean
  2710. share/lean4/src/lean/Lean/Elab/MatchAltView.lean
  2711. share/lean4/src/lean/Lean/Elab/MatchExpr.lean
  2712. share/lean4/src/lean/Lean/Elab/Mixfix.lean
  2713. share/lean4/src/lean/Lean/Elab/MutualDef.lean
  2714. share/lean4/src/lean/Lean/Elab/Notation.lean
  2715. share/lean4/src/lean/Lean/Elab/Open.lean
  2716. share/lean4/src/lean/Lean/Elab/ParseImportsFast.lean
  2717. share/lean4/src/lean/Lean/Elab/PatternVar.lean
  2718. share/lean4/src/lean/Lean/Elab/PreDefinition.lean
  2719. share/lean4/src/lean/Lean/Elab/PreDefinition/Basic.lean
  2720. share/lean4/src/lean/Lean/Elab/PreDefinition/EqUnfold.lean
  2721. share/lean4/src/lean/Lean/Elab/PreDefinition/Eqns.lean
  2722. share/lean4/src/lean/Lean/Elab/PreDefinition/Main.lean
  2723. share/lean4/src/lean/Lean/Elab/PreDefinition/MkInhabitant.lean
  2724. share/lean4/src/lean/Lean/Elab/PreDefinition/Nonrec/Eqns.lean
  2725. share/lean4/src/lean/Lean/Elab/PreDefinition/Structural.lean
  2726. share/lean4/src/lean/Lean/Elab/PreDefinition/Structural/BRecOn.lean
  2727. share/lean4/src/lean/Lean/Elab/PreDefinition/Structural/Basic.lean
  2728. share/lean4/src/lean/Lean/Elab/PreDefinition/Structural/Eqns.lean
  2729. share/lean4/src/lean/Lean/Elab/PreDefinition/Structural/FindRecArg.lean
  2730. share/lean4/src/lean/Lean/Elab/PreDefinition/Structural/IndGroupInfo.lean
  2731. share/lean4/src/lean/Lean/Elab/PreDefinition/Structural/IndPred.lean
  2732. share/lean4/src/lean/Lean/Elab/PreDefinition/Structural/Main.lean
  2733. share/lean4/src/lean/Lean/Elab/PreDefinition/Structural/Preprocess.lean
  2734. share/lean4/src/lean/Lean/Elab/PreDefinition/Structural/RecArgInfo.lean
  2735. share/lean4/src/lean/Lean/Elab/PreDefinition/Structural/SmartUnfolding.lean
  2736. share/lean4/src/lean/Lean/Elab/PreDefinition/TerminationArgument.lean
  2737. share/lean4/src/lean/Lean/Elab/PreDefinition/TerminationHint.lean
  2738. share/lean4/src/lean/Lean/Elab/PreDefinition/WF.lean
  2739. share/lean4/src/lean/Lean/Elab/PreDefinition/WF/Basic.lean
  2740. share/lean4/src/lean/Lean/Elab/PreDefinition/WF/Eqns.lean
  2741. share/lean4/src/lean/Lean/Elab/PreDefinition/WF/Fix.lean
  2742. share/lean4/src/lean/Lean/Elab/PreDefinition/WF/GuessLex.lean
  2743. share/lean4/src/lean/Lean/Elab/PreDefinition/WF/Ite.lean
  2744. share/lean4/src/lean/Lean/Elab/PreDefinition/WF/Main.lean
  2745. share/lean4/src/lean/Lean/Elab/PreDefinition/WF/PackMutual.lean
  2746. share/lean4/src/lean/Lean/Elab/PreDefinition/WF/Preprocess.lean
  2747. share/lean4/src/lean/Lean/Elab/PreDefinition/WF/Rel.lean
  2748. share/lean4/src/lean/Lean/Elab/Print.lean
  2749. share/lean4/src/lean/Lean/Elab/Quotation.lean
  2750. share/lean4/src/lean/Lean/Elab/Quotation/Precheck.lean
  2751. share/lean4/src/lean/Lean/Elab/Quotation/Util.lean
  2752. share/lean4/src/lean/Lean/Elab/RecAppSyntax.lean
  2753. share/lean4/src/lean/Lean/Elab/SetOption.lean
  2754. share/lean4/src/lean/Lean/Elab/StructInst.lean
  2755. share/lean4/src/lean/Lean/Elab/Structure.lean
  2756. share/lean4/src/lean/Lean/Elab/Syntax.lean
  2757. share/lean4/src/lean/Lean/Elab/SyntheticMVars.lean
  2758. share/lean4/src/lean/Lean/Elab/Tactic.lean
  2759. share/lean4/src/lean/Lean/Elab/Tactic/BVDecide.lean
  2760. share/lean4/src/lean/Lean/Elab/Tactic/BVDecide/External.lean
  2761. share/lean4/src/lean/Lean/Elab/Tactic/BVDecide/Frontend.lean
  2762. share/lean4/src/lean/Lean/Elab/Tactic/BVDecide/Frontend/Attr.lean
  2763. share/lean4/src/lean/Lean/Elab/Tactic/BVDecide/Frontend/BVCheck.lean
  2764. share/lean4/src/lean/Lean/Elab/Tactic/BVDecide/Frontend/BVDecide.lean
  2765. share/lean4/src/lean/Lean/Elab/Tactic/BVDecide/Frontend/BVDecide/Reflect.lean
  2766. share/lean4/src/lean/Lean/Elab/Tactic/BVDecide/Frontend/BVDecide/ReifiedBVExpr.lean
  2767. share/lean4/src/lean/Lean/Elab/Tactic/BVDecide/Frontend/BVDecide/ReifiedBVLogical.lean
  2768. share/lean4/src/lean/Lean/Elab/Tactic/BVDecide/Frontend/BVDecide/ReifiedBVPred.lean
  2769. share/lean4/src/lean/Lean/Elab/Tactic/BVDecide/Frontend/BVDecide/SatAtBVLogical.lean
  2770. share/lean4/src/lean/Lean/Elab/Tactic/BVDecide/Frontend/BVTrace.lean
  2771. share/lean4/src/lean/Lean/Elab/Tactic/BVDecide/Frontend/LRAT.lean
  2772. share/lean4/src/lean/Lean/Elab/Tactic/BVDecide/Frontend/Normalize.lean
  2773. share/lean4/src/lean/Lean/Elab/Tactic/BVDecide/LRAT.lean
  2774. share/lean4/src/lean/Lean/Elab/Tactic/BVDecide/LRAT/Trim.lean
  2775. share/lean4/src/lean/Lean/Elab/Tactic/Basic.lean
  2776. share/lean4/src/lean/Lean/Elab/Tactic/BoolToPropSimps.lean
  2777. share/lean4/src/lean/Lean/Elab/Tactic/BuiltinTactic.lean
  2778. share/lean4/src/lean/Lean/Elab/Tactic/Cache.lean
  2779. share/lean4/src/lean/Lean/Elab/Tactic/Calc.lean
  2780. share/lean4/src/lean/Lean/Elab/Tactic/Change.lean
  2781. share/lean4/src/lean/Lean/Elab/Tactic/Config.lean
  2782. share/lean4/src/lean/Lean/Elab/Tactic/Congr.lean
  2783. share/lean4/src/lean/Lean/Elab/Tactic/Conv.lean
  2784. share/lean4/src/lean/Lean/Elab/Tactic/Conv/Basic.lean
  2785. share/lean4/src/lean/Lean/Elab/Tactic/Conv/Change.lean
  2786. share/lean4/src/lean/Lean/Elab/Tactic/Conv/Congr.lean
  2787. share/lean4/src/lean/Lean/Elab/Tactic/Conv/Delta.lean
  2788. share/lean4/src/lean/Lean/Elab/Tactic/Conv/Pattern.lean
  2789. share/lean4/src/lean/Lean/Elab/Tactic/Conv/Rewrite.lean
  2790. share/lean4/src/lean/Lean/Elab/Tactic/Conv/Simp.lean
  2791. share/lean4/src/lean/Lean/Elab/Tactic/Conv/Unfold.lean
  2792. share/lean4/src/lean/Lean/Elab/Tactic/Delta.lean
  2793. share/lean4/src/lean/Lean/Elab/Tactic/DiscrTreeKey.lean
  2794. share/lean4/src/lean/Lean/Elab/Tactic/Doc.lean
  2795. share/lean4/src/lean/Lean/Elab/Tactic/ElabTerm.lean
  2796. share/lean4/src/lean/Lean/Elab/Tactic/Ext.lean
  2797. share/lean4/src/lean/Lean/Elab/Tactic/FalseOrByContra.lean
  2798. share/lean4/src/lean/Lean/Elab/Tactic/Generalize.lean
  2799. share/lean4/src/lean/Lean/Elab/Tactic/Guard.lean
  2800. share/lean4/src/lean/Lean/Elab/Tactic/Induction.lean
  2801. share/lean4/src/lean/Lean/Elab/Tactic/Injection.lean
  2802. share/lean4/src/lean/Lean/Elab/Tactic/LibrarySearch.lean
  2803. share/lean4/src/lean/Lean/Elab/Tactic/Location.lean
  2804. share/lean4/src/lean/Lean/Elab/Tactic/Match.lean
  2805. share/lean4/src/lean/Lean/Elab/Tactic/Meta.lean
  2806. share/lean4/src/lean/Lean/Elab/Tactic/NormCast.lean
  2807. share/lean4/src/lean/Lean/Elab/Tactic/Omega.lean
  2808. share/lean4/src/lean/Lean/Elab/Tactic/Omega/Core.lean
  2809. share/lean4/src/lean/Lean/Elab/Tactic/Omega/Frontend.lean
  2810. share/lean4/src/lean/Lean/Elab/Tactic/Omega/MinNatAbs.lean
  2811. share/lean4/src/lean/Lean/Elab/Tactic/Omega/OmegaM.lean
  2812. share/lean4/src/lean/Lean/Elab/Tactic/RCases.lean
  2813. share/lean4/src/lean/Lean/Elab/Tactic/Repeat.lean
  2814. share/lean4/src/lean/Lean/Elab/Tactic/Rewrite.lean
  2815. share/lean4/src/lean/Lean/Elab/Tactic/Rewrites.lean
  2816. share/lean4/src/lean/Lean/Elab/Tactic/Rfl.lean
  2817. share/lean4/src/lean/Lean/Elab/Tactic/ShowTerm.lean
  2818. share/lean4/src/lean/Lean/Elab/Tactic/Simp.lean
  2819. share/lean4/src/lean/Lean/Elab/Tactic/SimpTrace.lean
  2820. share/lean4/src/lean/Lean/Elab/Tactic/Simpa.lean
  2821. share/lean4/src/lean/Lean/Elab/Tactic/Simproc.lean
  2822. share/lean4/src/lean/Lean/Elab/Tactic/SolveByElim.lean
  2823. share/lean4/src/lean/Lean/Elab/Tactic/Split.lean
  2824. share/lean4/src/lean/Lean/Elab/Tactic/Symm.lean
  2825. share/lean4/src/lean/Lean/Elab/Tactic/Unfold.lean
  2826. share/lean4/src/lean/Lean/Elab/Term.lean
  2827. share/lean4/src/lean/Lean/Elab/Time.lean
  2828. share/lean4/src/lean/Lean/Elab/Util.lean
  2829. share/lean4/src/lean/Lean/Environment.lean
  2830. share/lean4/src/lean/Lean/Eval.lean
  2831. share/lean4/src/lean/Lean/Exception.lean
  2832. share/lean4/src/lean/Lean/Expr.lean
  2833. share/lean4/src/lean/Lean/HeadIndex.lean
  2834. share/lean4/src/lean/Lean/Hygiene.lean
  2835. share/lean4/src/lean/Lean/ImportingFlag.lean
  2836. share/lean4/src/lean/Lean/InternalExceptionId.lean
  2837. share/lean4/src/lean/Lean/KeyedDeclsAttribute.lean
  2838. share/lean4/src/lean/Lean/LabelAttribute.lean
  2839. share/lean4/src/lean/Lean/Language/Basic.lean
  2840. share/lean4/src/lean/Lean/Language/Lean.lean
  2841. share/lean4/src/lean/Lean/Language/Lean/Types.lean
  2842. share/lean4/src/lean/Lean/LazyInitExtension.lean
  2843. share/lean4/src/lean/Lean/Level.lean
  2844. share/lean4/src/lean/Lean/Linter.lean
  2845. share/lean4/src/lean/Lean/Linter/Basic.lean
  2846. share/lean4/src/lean/Lean/Linter/Builtin.lean
  2847. share/lean4/src/lean/Lean/Linter/ConstructorAsVariable.lean
  2848. share/lean4/src/lean/Lean/Linter/Deprecated.lean
  2849. share/lean4/src/lean/Lean/Linter/MissingDocs.lean
  2850. share/lean4/src/lean/Lean/Linter/Omit.lean
  2851. share/lean4/src/lean/Lean/Linter/UnusedVariables.lean
  2852. share/lean4/src/lean/Lean/Linter/Util.lean
  2853. share/lean4/src/lean/Lean/LoadDynlib.lean
  2854. share/lean4/src/lean/Lean/LocalContext.lean
  2855. share/lean4/src/lean/Lean/Log.lean
  2856. share/lean4/src/lean/Lean/Message.lean
  2857. share/lean4/src/lean/Lean/Meta.lean
  2858. share/lean4/src/lean/Lean/Meta/ACLt.lean
  2859. share/lean4/src/lean/Lean/Meta/AbstractMVars.lean
  2860. share/lean4/src/lean/Lean/Meta/AbstractNestedProofs.lean
  2861. share/lean4/src/lean/Lean/Meta/AppBuilder.lean
  2862. share/lean4/src/lean/Lean/Meta/ArgsPacker.lean
  2863. share/lean4/src/lean/Lean/Meta/ArgsPacker/Basic.lean
  2864. share/lean4/src/lean/Lean/Meta/Basic.lean
  2865. share/lean4/src/lean/Lean/Meta/Canonicalizer.lean
  2866. share/lean4/src/lean/Lean/Meta/Check.lean
  2867. share/lean4/src/lean/Lean/Meta/CheckTactic.lean
  2868. share/lean4/src/lean/Lean/Meta/Closure.lean
  2869. share/lean4/src/lean/Lean/Meta/Coe.lean
  2870. share/lean4/src/lean/Lean/Meta/CoeAttr.lean
  2871. share/lean4/src/lean/Lean/Meta/CollectFVars.lean
  2872. share/lean4/src/lean/Lean/Meta/CollectMVars.lean
  2873. share/lean4/src/lean/Lean/Meta/CompletionName.lean
  2874. share/lean4/src/lean/Lean/Meta/CongrTheorems.lean
  2875. share/lean4/src/lean/Lean/Meta/Constructions.lean
  2876. share/lean4/src/lean/Lean/Meta/Constructions/BRecOn.lean
  2877. share/lean4/src/lean/Lean/Meta/Constructions/CasesOn.lean
  2878. share/lean4/src/lean/Lean/Meta/Constructions/NoConfusion.lean
  2879. share/lean4/src/lean/Lean/Meta/Constructions/RecOn.lean
  2880. share/lean4/src/lean/Lean/Meta/CtorRecognizer.lean
  2881. share/lean4/src/lean/Lean/Meta/DecLevel.lean
  2882. share/lean4/src/lean/Lean/Meta/Diagnostics.lean
  2883. share/lean4/src/lean/Lean/Meta/DiscrTree.lean
  2884. share/lean4/src/lean/Lean/Meta/DiscrTreeTypes.lean
  2885. share/lean4/src/lean/Lean/Meta/Eqns.lean
  2886. share/lean4/src/lean/Lean/Meta/Eval.lean
  2887. share/lean4/src/lean/Lean/Meta/ExprDefEq.lean
  2888. share/lean4/src/lean/Lean/Meta/ExprLens.lean
  2889. share/lean4/src/lean/Lean/Meta/ExprTraverse.lean
  2890. share/lean4/src/lean/Lean/Meta/ForEachExpr.lean
  2891. share/lean4/src/lean/Lean/Meta/FunInfo.lean
  2892. share/lean4/src/lean/Lean/Meta/GeneralizeTelescope.lean
  2893. share/lean4/src/lean/Lean/Meta/GeneralizeVars.lean
  2894. share/lean4/src/lean/Lean/Meta/GetUnfoldableConst.lean
  2895. share/lean4/src/lean/Lean/Meta/GlobalInstances.lean
  2896. share/lean4/src/lean/Lean/Meta/IndPredBelow.lean
  2897. share/lean4/src/lean/Lean/Meta/Inductive.lean
  2898. share/lean4/src/lean/Lean/Meta/InferType.lean
  2899. share/lean4/src/lean/Lean/Meta/Injective.lean
  2900. share/lean4/src/lean/Lean/Meta/Instances.lean
  2901. share/lean4/src/lean/Lean/Meta/Iterator.lean
  2902. share/lean4/src/lean/Lean/Meta/KAbstract.lean
  2903. share/lean4/src/lean/Lean/Meta/KExprMap.lean
  2904. share/lean4/src/lean/Lean/Meta/LazyDiscrTree.lean
  2905. share/lean4/src/lean/Lean/Meta/LevelDefEq.lean
  2906. share/lean4/src/lean/Lean/Meta/LitValues.lean
  2907. share/lean4/src/lean/Lean/Meta/Match.lean
  2908. share/lean4/src/lean/Lean/Meta/Match/Basic.lean
  2909. share/lean4/src/lean/Lean/Meta/Match/CaseArraySizes.lean
  2910. share/lean4/src/lean/Lean/Meta/Match/CaseValues.lean
  2911. share/lean4/src/lean/Lean/Meta/Match/MVarRenaming.lean
  2912. share/lean4/src/lean/Lean/Meta/Match/Match.lean
  2913. share/lean4/src/lean/Lean/Meta/Match/MatchEqs.lean
  2914. share/lean4/src/lean/Lean/Meta/Match/MatchEqsExt.lean
  2915. share/lean4/src/lean/Lean/Meta/Match/MatchPatternAttr.lean
  2916. share/lean4/src/lean/Lean/Meta/Match/MatcherApp.lean
  2917. share/lean4/src/lean/Lean/Meta/Match/MatcherApp/Basic.lean
  2918. share/lean4/src/lean/Lean/Meta/Match/MatcherApp/Transform.lean
  2919. share/lean4/src/lean/Lean/Meta/Match/MatcherInfo.lean
  2920. share/lean4/src/lean/Lean/Meta/Match/Value.lean
  2921. share/lean4/src/lean/Lean/Meta/MatchUtil.lean
  2922. share/lean4/src/lean/Lean/Meta/NatInstTesters.lean
  2923. share/lean4/src/lean/Lean/Meta/Offset.lean
  2924. share/lean4/src/lean/Lean/Meta/PPGoal.lean
  2925. share/lean4/src/lean/Lean/Meta/PProdN.lean
  2926. share/lean4/src/lean/Lean/Meta/RecursorInfo.lean
  2927. share/lean4/src/lean/Lean/Meta/Reduce.lean
  2928. share/lean4/src/lean/Lean/Meta/ReduceEval.lean
  2929. share/lean4/src/lean/Lean/Meta/SizeOf.lean
  2930. share/lean4/src/lean/Lean/Meta/Structure.lean
  2931. share/lean4/src/lean/Lean/Meta/SynthInstance.lean
  2932. share/lean4/src/lean/Lean/Meta/Tactic.lean
  2933. share/lean4/src/lean/Lean/Meta/Tactic/AC.lean
  2934. share/lean4/src/lean/Lean/Meta/Tactic/AC/Main.lean
  2935. share/lean4/src/lean/Lean/Meta/Tactic/Acyclic.lean
  2936. share/lean4/src/lean/Lean/Meta/Tactic/Apply.lean
  2937. share/lean4/src/lean/Lean/Meta/Tactic/Assert.lean
  2938. share/lean4/src/lean/Lean/Meta/Tactic/Assumption.lean
  2939. share/lean4/src/lean/Lean/Meta/Tactic/AuxLemma.lean
  2940. share/lean4/src/lean/Lean/Meta/Tactic/Backtrack.lean
  2941. share/lean4/src/lean/Lean/Meta/Tactic/Cases.lean
  2942. share/lean4/src/lean/Lean/Meta/Tactic/Cleanup.lean
  2943. share/lean4/src/lean/Lean/Meta/Tactic/Clear.lean
  2944. share/lean4/src/lean/Lean/Meta/Tactic/Congr.lean
  2945. share/lean4/src/lean/Lean/Meta/Tactic/Constructor.lean
  2946. share/lean4/src/lean/Lean/Meta/Tactic/Contradiction.lean
  2947. share/lean4/src/lean/Lean/Meta/Tactic/Delta.lean
  2948. share/lean4/src/lean/Lean/Meta/Tactic/ElimInfo.lean
  2949. share/lean4/src/lean/Lean/Meta/Tactic/FVarSubst.lean
  2950. share/lean4/src/lean/Lean/Meta/Tactic/FunInd.lean
  2951. share/lean4/src/lean/Lean/Meta/Tactic/Generalize.lean
  2952. share/lean4/src/lean/Lean/Meta/Tactic/Grind.lean
  2953. share/lean4/src/lean/Lean/Meta/Tactic/Grind/Attr.lean
  2954. share/lean4/src/lean/Lean/Meta/Tactic/Grind/Cases.lean
  2955. share/lean4/src/lean/Lean/Meta/Tactic/Grind/Core.lean
  2956. share/lean4/src/lean/Lean/Meta/Tactic/Grind/Injection.lean
  2957. share/lean4/src/lean/Lean/Meta/Tactic/Grind/Preprocessor.lean
  2958. share/lean4/src/lean/Lean/Meta/Tactic/Grind/RevertAll.lean
  2959. share/lean4/src/lean/Lean/Meta/Tactic/Grind/Types.lean
  2960. share/lean4/src/lean/Lean/Meta/Tactic/Grind/Util.lean
  2961. share/lean4/src/lean/Lean/Meta/Tactic/IndependentOf.lean
  2962. share/lean4/src/lean/Lean/Meta/Tactic/Induction.lean
  2963. share/lean4/src/lean/Lean/Meta/Tactic/Injection.lean
  2964. share/lean4/src/lean/Lean/Meta/Tactic/Intro.lean
  2965. share/lean4/src/lean/Lean/Meta/Tactic/LibrarySearch.lean
  2966. share/lean4/src/lean/Lean/Meta/Tactic/LinearArith.lean
  2967. share/lean4/src/lean/Lean/Meta/Tactic/LinearArith/Basic.lean
  2968. share/lean4/src/lean/Lean/Meta/Tactic/LinearArith/Main.lean
  2969. share/lean4/src/lean/Lean/Meta/Tactic/LinearArith/Nat.lean
  2970. share/lean4/src/lean/Lean/Meta/Tactic/LinearArith/Nat/Basic.lean
  2971. share/lean4/src/lean/Lean/Meta/Tactic/LinearArith/Nat/Simp.lean
  2972. share/lean4/src/lean/Lean/Meta/Tactic/LinearArith/Nat/Solver.lean
  2973. share/lean4/src/lean/Lean/Meta/Tactic/LinearArith/Simp.lean
  2974. share/lean4/src/lean/Lean/Meta/Tactic/LinearArith/Solver.lean
  2975. share/lean4/src/lean/Lean/Meta/Tactic/NormCast.lean
  2976. share/lean4/src/lean/Lean/Meta/Tactic/Refl.lean
  2977. share/lean4/src/lean/Lean/Meta/Tactic/Rename.lean
  2978. share/lean4/src/lean/Lean/Meta/Tactic/Repeat.lean
  2979. share/lean4/src/lean/Lean/Meta/Tactic/Replace.lean
  2980. share/lean4/src/lean/Lean/Meta/Tactic/Revert.lean
  2981. share/lean4/src/lean/Lean/Meta/Tactic/Rewrite.lean
  2982. share/lean4/src/lean/Lean/Meta/Tactic/Rewrites.lean
  2983. share/lean4/src/lean/Lean/Meta/Tactic/Rfl.lean
  2984. share/lean4/src/lean/Lean/Meta/Tactic/Simp.lean
  2985. share/lean4/src/lean/Lean/Meta/Tactic/Simp/Attr.lean
  2986. share/lean4/src/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs.lean
  2987. share/lean4/src/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Array.lean
  2988. share/lean4/src/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs/BitVec.lean
  2989. share/lean4/src/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Char.lean
  2990. share/lean4/src/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Core.lean
  2991. share/lean4/src/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Fin.lean
  2992. share/lean4/src/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Int.lean
  2993. share/lean4/src/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs/List.lean
  2994. share/lean4/src/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Nat.lean
  2995. share/lean4/src/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs/String.lean
  2996. share/lean4/src/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs/UInt.lean
  2997. share/lean4/src/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Util.lean
  2998. share/lean4/src/lean/Lean/Meta/Tactic/Simp/Diagnostics.lean
  2999. share/lean4/src/lean/Lean/Meta/Tactic/Simp/Main.lean
  3000. share/lean4/src/lean/Lean/Meta/Tactic/Simp/RegisterCommand.lean
  3001. share/lean4/src/lean/Lean/Meta/Tactic/Simp/Rewrite.lean
  3002. share/lean4/src/lean/Lean/Meta/Tactic/Simp/SimpAll.lean
  3003. share/lean4/src/lean/Lean/Meta/Tactic/Simp/SimpCongrTheorems.lean
  3004. share/lean4/src/lean/Lean/Meta/Tactic/Simp/SimpTheorems.lean
  3005. share/lean4/src/lean/Lean/Meta/Tactic/Simp/Simproc.lean
  3006. share/lean4/src/lean/Lean/Meta/Tactic/Simp/Types.lean
  3007. share/lean4/src/lean/Lean/Meta/Tactic/SolveByElim.lean
  3008. share/lean4/src/lean/Lean/Meta/Tactic/Split.lean
  3009. share/lean4/src/lean/Lean/Meta/Tactic/SplitIf.lean
  3010. share/lean4/src/lean/Lean/Meta/Tactic/Subst.lean
  3011. share/lean4/src/lean/Lean/Meta/Tactic/Symm.lean
  3012. share/lean4/src/lean/Lean/Meta/Tactic/TryThis.lean
  3013. share/lean4/src/lean/Lean/Meta/Tactic/Unfold.lean
  3014. share/lean4/src/lean/Lean/Meta/Tactic/UnifyEq.lean
  3015. share/lean4/src/lean/Lean/Meta/Tactic/Util.lean
  3016. share/lean4/src/lean/Lean/Meta/Transform.lean
  3017. share/lean4/src/lean/Lean/Meta/TransparencyMode.lean
  3018. share/lean4/src/lean/Lean/Meta/UnificationHint.lean
  3019. share/lean4/src/lean/Lean/Meta/WHNF.lean
  3020. share/lean4/src/lean/Lean/MetavarContext.lean
  3021. share/lean4/src/lean/Lean/Modifiers.lean
  3022. share/lean4/src/lean/Lean/MonadEnv.lean
  3023. share/lean4/src/lean/Lean/Parser.lean
  3024. share/lean4/src/lean/Lean/Parser/Attr.lean
  3025. share/lean4/src/lean/Lean/Parser/Basic.lean
  3026. share/lean4/src/lean/Lean/Parser/Command.lean
  3027. share/lean4/src/lean/Lean/Parser/Do.lean
  3028. share/lean4/src/lean/Lean/Parser/Extension.lean
  3029. share/lean4/src/lean/Lean/Parser/Extra.lean
  3030. share/lean4/src/lean/Lean/Parser/Level.lean
  3031. share/lean4/src/lean/Lean/Parser/Module.lean
  3032. share/lean4/src/lean/Lean/Parser/StrInterpolation.lean
  3033. share/lean4/src/lean/Lean/Parser/Syntax.lean
  3034. share/lean4/src/lean/Lean/Parser/Tactic.lean
  3035. share/lean4/src/lean/Lean/Parser/Tactic/Doc.lean
  3036. share/lean4/src/lean/Lean/Parser/Term.lean
  3037. share/lean4/src/lean/Lean/Parser/Types.lean
  3038. share/lean4/src/lean/Lean/ParserCompiler.lean
  3039. share/lean4/src/lean/Lean/ParserCompiler/Attribute.lean
  3040. share/lean4/src/lean/Lean/PrettyPrinter.lean
  3041. share/lean4/src/lean/Lean/PrettyPrinter/Basic.lean
  3042. share/lean4/src/lean/Lean/PrettyPrinter/Delaborator.lean
  3043. share/lean4/src/lean/Lean/PrettyPrinter/Delaborator/Attributes.lean
  3044. share/lean4/src/lean/Lean/PrettyPrinter/Delaborator/Basic.lean
  3045. share/lean4/src/lean/Lean/PrettyPrinter/Delaborator/Builtins.lean
  3046. share/lean4/src/lean/Lean/PrettyPrinter/Delaborator/FieldNotation.lean
  3047. share/lean4/src/lean/Lean/PrettyPrinter/Delaborator/Options.lean
  3048. share/lean4/src/lean/Lean/PrettyPrinter/Delaborator/SubExpr.lean
  3049. share/lean4/src/lean/Lean/PrettyPrinter/Delaborator/TopDownAnalyze.lean
  3050. share/lean4/src/lean/Lean/PrettyPrinter/Formatter.lean
  3051. share/lean4/src/lean/Lean/PrettyPrinter/Parenthesizer.lean
  3052. share/lean4/src/lean/Lean/ProjFns.lean
  3053. share/lean4/src/lean/Lean/ReducibilityAttrs.lean
  3054. share/lean4/src/lean/Lean/Replay.lean
  3055. share/lean4/src/lean/Lean/ReservedNameAction.lean
  3056. share/lean4/src/lean/Lean/ResolveName.lean
  3057. share/lean4/src/lean/Lean/Runtime.lean
  3058. share/lean4/src/lean/Lean/ScopedEnvExtension.lean
  3059. share/lean4/src/lean/Lean/Server.lean
  3060. share/lean4/src/lean/Lean/Server/AsyncList.lean
  3061. share/lean4/src/lean/Lean/Server/CodeActions.lean
  3062. share/lean4/src/lean/Lean/Server/CodeActions/Attr.lean
  3063. share/lean4/src/lean/Lean/Server/CodeActions/Basic.lean
  3064. share/lean4/src/lean/Lean/Server/CodeActions/Provider.lean
  3065. share/lean4/src/lean/Lean/Server/Completion.lean
  3066. share/lean4/src/lean/Lean/Server/CompletionItemData.lean
  3067. share/lean4/src/lean/Lean/Server/FileSource.lean
  3068. share/lean4/src/lean/Lean/Server/FileWorker.lean
  3069. share/lean4/src/lean/Lean/Server/FileWorker/RequestHandling.lean
  3070. share/lean4/src/lean/Lean/Server/FileWorker/SetupFile.lean
  3071. share/lean4/src/lean/Lean/Server/FileWorker/Utils.lean
  3072. share/lean4/src/lean/Lean/Server/FileWorker/WidgetRequests.lean
  3073. share/lean4/src/lean/Lean/Server/GoTo.lean
  3074. share/lean4/src/lean/Lean/Server/ImportCompletion.lean
  3075. share/lean4/src/lean/Lean/Server/InfoUtils.lean
  3076. share/lean4/src/lean/Lean/Server/README.md
  3077. share/lean4/src/lean/Lean/Server/References.lean
  3078. share/lean4/src/lean/Lean/Server/Requests.lean
  3079. share/lean4/src/lean/Lean/Server/Rpc.lean
  3080. share/lean4/src/lean/Lean/Server/Rpc/Basic.lean
  3081. share/lean4/src/lean/Lean/Server/Rpc/Deriving.lean
  3082. share/lean4/src/lean/Lean/Server/Rpc/RequestHandling.lean
  3083. share/lean4/src/lean/Lean/Server/Snapshots.lean
  3084. share/lean4/src/lean/Lean/Server/Utils.lean
  3085. share/lean4/src/lean/Lean/Server/Watchdog.lean
  3086. share/lean4/src/lean/Lean/Structure.lean
  3087. share/lean4/src/lean/Lean/SubExpr.lean
  3088. share/lean4/src/lean/Lean/Syntax.lean
  3089. share/lean4/src/lean/Lean/ToExpr.lean
  3090. share/lean4/src/lean/Lean/Util.lean
  3091. share/lean4/src/lean/Lean/Util/CollectAxioms.lean
  3092. share/lean4/src/lean/Lean/Util/CollectFVars.lean
  3093. share/lean4/src/lean/Lean/Util/CollectLevelParams.lean
  3094. share/lean4/src/lean/Lean/Util/CollectMVars.lean
  3095. share/lean4/src/lean/Lean/Util/Diff.lean
  3096. share/lean4/src/lean/Lean/Util/FileSetupInfo.lean
  3097. share/lean4/src/lean/Lean/Util/FindExpr.lean
  3098. share/lean4/src/lean/Lean/Util/FindLevelMVar.lean
  3099. share/lean4/src/lean/Lean/Util/FindMVar.lean
  3100. share/lean4/src/lean/Lean/Util/FoldConsts.lean
  3101. share/lean4/src/lean/Lean/Util/ForEachExpr.lean
  3102. share/lean4/src/lean/Lean/Util/ForEachExprWhere.lean
  3103. share/lean4/src/lean/Lean/Util/HasConstCache.lean
  3104. share/lean4/src/lean/Lean/Util/Heartbeats.lean
  3105. share/lean4/src/lean/Lean/Util/InstantiateLevelParams.lean
  3106. share/lean4/src/lean/Lean/Util/LakePath.lean
  3107. share/lean4/src/lean/Lean/Util/LeanOptions.lean
  3108. share/lean4/src/lean/Lean/Util/MonadBacktrack.lean
  3109. share/lean4/src/lean/Lean/Util/MonadCache.lean
  3110. share/lean4/src/lean/Lean/Util/NumApps.lean
  3111. share/lean4/src/lean/Lean/Util/NumObjs.lean
  3112. share/lean4/src/lean/Lean/Util/OccursCheck.lean
  3113. share/lean4/src/lean/Lean/Util/PPExt.lean
  3114. share/lean4/src/lean/Lean/Util/Path.lean
  3115. share/lean4/src/lean/Lean/Util/Paths.lean
  3116. share/lean4/src/lean/Lean/Util/Profile.lean
  3117. share/lean4/src/lean/Lean/Util/Profiler.lean
  3118. share/lean4/src/lean/Lean/Util/PtrSet.lean
  3119. share/lean4/src/lean/Lean/Util/RecDepth.lean
  3120. share/lean4/src/lean/Lean/Util/Recognizers.lean
  3121. share/lean4/src/lean/Lean/Util/ReplaceExpr.lean
  3122. share/lean4/src/lean/Lean/Util/ReplaceLevel.lean
  3123. share/lean4/src/lean/Lean/Util/SCC.lean
  3124. share/lean4/src/lean/Lean/Util/SafeExponentiation.lean
  3125. share/lean4/src/lean/Lean/Util/SearchPath.lean
  3126. share/lean4/src/lean/Lean/Util/ShareCommon.lean
  3127. share/lean4/src/lean/Lean/Util/Sorry.lean
  3128. share/lean4/src/lean/Lean/Util/TestExtern.lean
  3129. share/lean4/src/lean/Lean/Util/Trace.lean
  3130. share/lean4/src/lean/Lean/Widget.lean
  3131. share/lean4/src/lean/Lean/Widget/Basic.lean
  3132. share/lean4/src/lean/Lean/Widget/Diff.lean
  3133. share/lean4/src/lean/Lean/Widget/InteractiveCode.lean
  3134. share/lean4/src/lean/Lean/Widget/InteractiveDiagnostic.lean
  3135. share/lean4/src/lean/Lean/Widget/InteractiveGoal.lean
  3136. share/lean4/src/lean/Lean/Widget/TaggedText.lean
  3137. share/lean4/src/lean/Lean/Widget/Types.lean
  3138. share/lean4/src/lean/Lean/Widget/UserWidget.lean
  3139. share/lean4/src/lean/Leanc.lean
  3140. share/lean4/src/lean/Std.lean
  3141. share/lean4/src/lean/Std/Data.lean
  3142. share/lean4/src/lean/Std/Data/DHashMap.lean
  3143. share/lean4/src/lean/Std/Data/DHashMap/AdditionalOperations.lean
  3144. share/lean4/src/lean/Std/Data/DHashMap/Basic.lean
  3145. share/lean4/src/lean/Std/Data/DHashMap/Internal/AssocList/Basic.lean
  3146. share/lean4/src/lean/Std/Data/DHashMap/Internal/AssocList/Lemmas.lean
  3147. share/lean4/src/lean/Std/Data/DHashMap/Internal/Defs.lean
  3148. share/lean4/src/lean/Std/Data/DHashMap/Internal/Index.lean
  3149. share/lean4/src/lean/Std/Data/DHashMap/Internal/List/Associative.lean
  3150. share/lean4/src/lean/Std/Data/DHashMap/Internal/List/Defs.lean
  3151. share/lean4/src/lean/Std/Data/DHashMap/Internal/List/HashesTo.lean
  3152. share/lean4/src/lean/Std/Data/DHashMap/Internal/List/Pairwise.lean
  3153. share/lean4/src/lean/Std/Data/DHashMap/Internal/List/Sublist.lean
  3154. share/lean4/src/lean/Std/Data/DHashMap/Internal/Model.lean
  3155. share/lean4/src/lean/Std/Data/DHashMap/Internal/Raw.lean
  3156. share/lean4/src/lean/Std/Data/DHashMap/Internal/RawLemmas.lean
  3157. share/lean4/src/lean/Std/Data/DHashMap/Internal/WF.lean
  3158. share/lean4/src/lean/Std/Data/DHashMap/Lemmas.lean
  3159. share/lean4/src/lean/Std/Data/DHashMap/Raw.lean
  3160. share/lean4/src/lean/Std/Data/DHashMap/RawDef.lean
  3161. share/lean4/src/lean/Std/Data/DHashMap/RawLemmas.lean
  3162. share/lean4/src/lean/Std/Data/HashMap.lean
  3163. share/lean4/src/lean/Std/Data/HashMap/AdditionalOperations.lean
  3164. share/lean4/src/lean/Std/Data/HashMap/Basic.lean
  3165. share/lean4/src/lean/Std/Data/HashMap/Lemmas.lean
  3166. share/lean4/src/lean/Std/Data/HashMap/Raw.lean
  3167. share/lean4/src/lean/Std/Data/HashMap/RawLemmas.lean
  3168. share/lean4/src/lean/Std/Data/HashSet.lean
  3169. share/lean4/src/lean/Std/Data/HashSet/Basic.lean
  3170. share/lean4/src/lean/Std/Data/HashSet/Lemmas.lean
  3171. share/lean4/src/lean/Std/Data/HashSet/Raw.lean
  3172. share/lean4/src/lean/Std/Data/HashSet/RawLemmas.lean
  3173. share/lean4/src/lean/Std/Internal.lean
  3174. share/lean4/src/lean/Std/Internal/Parsec.lean
  3175. share/lean4/src/lean/Std/Internal/Parsec/Basic.lean
  3176. share/lean4/src/lean/Std/Internal/Parsec/ByteArray.lean
  3177. share/lean4/src/lean/Std/Internal/Parsec/String.lean
  3178. share/lean4/src/lean/Std/Sat.lean
  3179. share/lean4/src/lean/Std/Sat/AIG.lean
  3180. share/lean4/src/lean/Std/Sat/AIG/Basic.lean
  3181. share/lean4/src/lean/Std/Sat/AIG/CNF.lean
  3182. share/lean4/src/lean/Std/Sat/AIG/Cached.lean
  3183. share/lean4/src/lean/Std/Sat/AIG/CachedGates.lean
  3184. share/lean4/src/lean/Std/Sat/AIG/CachedGatesLemmas.lean
  3185. share/lean4/src/lean/Std/Sat/AIG/CachedLemmas.lean
  3186. share/lean4/src/lean/Std/Sat/AIG/If.lean
  3187. share/lean4/src/lean/Std/Sat/AIG/LawfulOperator.lean
  3188. share/lean4/src/lean/Std/Sat/AIG/LawfulVecOperator.lean
  3189. share/lean4/src/lean/Std/Sat/AIG/Lemmas.lean
  3190. share/lean4/src/lean/Std/Sat/AIG/RefVec.lean
  3191. share/lean4/src/lean/Std/Sat/AIG/RefVecOperator.lean
  3192. share/lean4/src/lean/Std/Sat/AIG/RefVecOperator/Fold.lean
  3193. share/lean4/src/lean/Std/Sat/AIG/RefVecOperator/Map.lean
  3194. share/lean4/src/lean/Std/Sat/AIG/RefVecOperator/Zip.lean
  3195. share/lean4/src/lean/Std/Sat/AIG/Relabel.lean
  3196. share/lean4/src/lean/Std/Sat/AIG/RelabelNat.lean
  3197. share/lean4/src/lean/Std/Sat/CNF.lean
  3198. share/lean4/src/lean/Std/Sat/CNF/Basic.lean
  3199. share/lean4/src/lean/Std/Sat/CNF/Dimacs.lean
  3200. share/lean4/src/lean/Std/Sat/CNF/Literal.lean
  3201. share/lean4/src/lean/Std/Sat/CNF/Relabel.lean
  3202. share/lean4/src/lean/Std/Sat/CNF/RelabelFin.lean
  3203. share/lean4/src/lean/Std/Tactic.lean
  3204. share/lean4/src/lean/Std/Tactic/BVDecide.lean
  3205. share/lean4/src/lean/Std/Tactic/BVDecide/Bitblast.lean
  3206. share/lean4/src/lean/Std/Tactic/BVDecide/Bitblast/BVExpr.lean
  3207. share/lean4/src/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Basic.lean
  3208. share/lean4/src/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit.lean
  3209. share/lean4/src/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl.lean
  3210. share/lean4/src/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl/Carry.lean
  3211. share/lean4/src/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl/Const.lean
  3212. share/lean4/src/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl/Expr.lean
  3213. share/lean4/src/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl/Operations.lean
  3214. share/lean4/src/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl/Operations/Add.lean
  3215. share/lean4/src/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl/Operations/Append.lean
  3216. share/lean4/src/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl/Operations/Eq.lean
  3217. share/lean4/src/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl/Operations/Extract.lean
  3218. share/lean4/src/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl/Operations/GetLsbD.lean
  3219. share/lean4/src/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl/Operations/Mul.lean
  3220. share/lean4/src/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl/Operations/Not.lean
  3221. share/lean4/src/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl/Operations/Replicate.lean
  3222. share/lean4/src/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl/Operations/RotateLeft.lean
  3223. share/lean4/src/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl/Operations/RotateRight.lean
  3224. share/lean4/src/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl/Operations/ShiftLeft.lean
  3225. share/lean4/src/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl/Operations/ShiftRight.lean
  3226. share/lean4/src/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl/Operations/SignExtend.lean
  3227. share/lean4/src/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl/Operations/Ult.lean
  3228. share/lean4/src/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl/Operations/ZeroExtend.lean
  3229. share/lean4/src/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl/Pred.lean
  3230. share/lean4/src/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Impl/Var.lean
  3231. share/lean4/src/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Lemmas.lean
  3232. share/lean4/src/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Lemmas/Basic.lean
  3233. share/lean4/src/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Lemmas/Carry.lean
  3234. share/lean4/src/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Lemmas/Const.lean
  3235. share/lean4/src/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Lemmas/Expr.lean
  3236. share/lean4/src/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Lemmas/Operations.lean
  3237. share/lean4/src/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Lemmas/Operations/Add.lean
  3238. share/lean4/src/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Lemmas/Operations/Append.lean
  3239. share/lean4/src/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Lemmas/Operations/Eq.lean
  3240. share/lean4/src/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Lemmas/Operations/Extract.lean
  3241. share/lean4/src/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Lemmas/Operations/GetLsbD.lean
  3242. share/lean4/src/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Lemmas/Operations/Mul.lean
  3243. share/lean4/src/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Lemmas/Operations/Not.lean
  3244. share/lean4/src/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Lemmas/Operations/Replicate.lean
  3245. share/lean4/src/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Lemmas/Operations/RotateLeft.lean
  3246. share/lean4/src/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Lemmas/Operations/RotateRight.lean
  3247. share/lean4/src/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Lemmas/Operations/ShiftLeft.lean
  3248. share/lean4/src/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Lemmas/Operations/ShiftRight.lean
  3249. share/lean4/src/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Lemmas/Operations/SignExtend.lean
  3250. share/lean4/src/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Lemmas/Operations/Ult.lean
  3251. share/lean4/src/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Lemmas/Operations/ZeroExtend.lean
  3252. share/lean4/src/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Lemmas/Pred.lean
  3253. share/lean4/src/lean/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Lemmas/Var.lean
  3254. share/lean4/src/lean/Std/Tactic/BVDecide/Bitblast/BoolExpr.lean
  3255. share/lean4/src/lean/Std/Tactic/BVDecide/Bitblast/BoolExpr/Basic.lean
  3256. share/lean4/src/lean/Std/Tactic/BVDecide/Bitblast/BoolExpr/Circuit.lean
  3257. share/lean4/src/lean/Std/Tactic/BVDecide/LRAT.lean
  3258. share/lean4/src/lean/Std/Tactic/BVDecide/LRAT/Actions.lean
  3259. share/lean4/src/lean/Std/Tactic/BVDecide/LRAT/Checker.lean
  3260. share/lean4/src/lean/Std/Tactic/BVDecide/LRAT/Internal.lean
  3261. share/lean4/src/lean/Std/Tactic/BVDecide/LRAT/Internal/Actions.lean
  3262. share/lean4/src/lean/Std/Tactic/BVDecide/LRAT/Internal/Assignment.lean
  3263. share/lean4/src/lean/Std/Tactic/BVDecide/LRAT/Internal/CNF.lean
  3264. share/lean4/src/lean/Std/Tactic/BVDecide/LRAT/Internal/Clause.lean
  3265. share/lean4/src/lean/Std/Tactic/BVDecide/LRAT/Internal/Convert.lean
  3266. share/lean4/src/lean/Std/Tactic/BVDecide/LRAT/Internal/Entails.lean
  3267. share/lean4/src/lean/Std/Tactic/BVDecide/LRAT/Internal/Formula.lean
  3268. share/lean4/src/lean/Std/Tactic/BVDecide/LRAT/Internal/Formula/Class.lean
  3269. share/lean4/src/lean/Std/Tactic/BVDecide/LRAT/Internal/Formula/Implementation.lean
  3270. share/lean4/src/lean/Std/Tactic/BVDecide/LRAT/Internal/Formula/Instance.lean
  3271. share/lean4/src/lean/Std/Tactic/BVDecide/LRAT/Internal/Formula/Lemmas.lean
  3272. share/lean4/src/lean/Std/Tactic/BVDecide/LRAT/Internal/Formula/RatAddResult.lean
  3273. share/lean4/src/lean/Std/Tactic/BVDecide/LRAT/Internal/Formula/RatAddSound.lean
  3274. share/lean4/src/lean/Std/Tactic/BVDecide/LRAT/Internal/Formula/RupAddResult.lean
  3275. share/lean4/src/lean/Std/Tactic/BVDecide/LRAT/Internal/Formula/RupAddSound.lean
  3276. share/lean4/src/lean/Std/Tactic/BVDecide/LRAT/Internal/LRATChecker.lean
  3277. share/lean4/src/lean/Std/Tactic/BVDecide/LRAT/Internal/LRATCheckerSound.lean
  3278. share/lean4/src/lean/Std/Tactic/BVDecide/LRAT/Internal/PosFin.lean
  3279. share/lean4/src/lean/Std/Tactic/BVDecide/LRAT/Parser.lean
  3280. share/lean4/src/lean/Std/Tactic/BVDecide/Normalize.lean
  3281. share/lean4/src/lean/Std/Tactic/BVDecide/Normalize/BitVec.lean
  3282. share/lean4/src/lean/Std/Tactic/BVDecide/Normalize/Bool.lean
  3283. share/lean4/src/lean/Std/Tactic/BVDecide/Normalize/Canonicalize.lean
  3284. share/lean4/src/lean/Std/Tactic/BVDecide/Normalize/Equal.lean
  3285. share/lean4/src/lean/Std/Tactic/BVDecide/Normalize/Prop.lean
  3286. share/lean4/src/lean/Std/Tactic/BVDecide/Reflect.lean
  3287. share/lean4/src/lean/Std/Tactic/BVDecide/Syntax.lean
  3288. share/lean4/src/lean/lake/Lake.lean
  3289. share/lean4/src/lean/lake/Lake/Build.lean
  3290. share/lean4/src/lean/lake/Lake/Build/Actions.lean
  3291. share/lean4/src/lean/lake/Lake/Build/Basic.lean
  3292. share/lean4/src/lean/lake/Lake/Build/Common.lean
  3293. share/lean4/src/lean/lake/Lake/Build/Data.lean
  3294. share/lean4/src/lean/lake/Lake/Build/Executable.lean
  3295. share/lean4/src/lean/lake/Lake/Build/Facets.lean
  3296. share/lean4/src/lean/lake/Lake/Build/Fetch.lean
  3297. share/lean4/src/lean/lake/Lake/Build/Imports.lean
  3298. share/lean4/src/lean/lake/Lake/Build/Index.lean
  3299. share/lean4/src/lean/lake/Lake/Build/Info.lean
  3300. share/lean4/src/lean/lake/Lake/Build/Job.lean
  3301. share/lean4/src/lean/lake/Lake/Build/Key.lean
  3302. share/lean4/src/lean/lake/Lake/Build/Library.lean
  3303. share/lean4/src/lean/lake/Lake/Build/Module.lean
  3304. share/lean4/src/lean/lake/Lake/Build/Package.lean
  3305. share/lean4/src/lean/lake/Lake/Build/Run.lean
  3306. share/lean4/src/lean/lake/Lake/Build/Store.lean
  3307. share/lean4/src/lean/lake/Lake/Build/Targets.lean
  3308. share/lean4/src/lean/lake/Lake/Build/Topological.lean
  3309. share/lean4/src/lean/lake/Lake/Build/Trace.lean
  3310. share/lean4/src/lean/lake/Lake/CLI.lean
  3311. share/lean4/src/lean/lake/Lake/CLI/Actions.lean
  3312. share/lean4/src/lean/lake/Lake/CLI/Build.lean
  3313. share/lean4/src/lean/lake/Lake/CLI/Error.lean
  3314. share/lean4/src/lean/lake/Lake/CLI/Help.lean
  3315. share/lean4/src/lean/lake/Lake/CLI/Init.lean
  3316. share/lean4/src/lean/lake/Lake/CLI/Main.lean
  3317. share/lean4/src/lean/lake/Lake/CLI/Serve.lean
  3318. share/lean4/src/lean/lake/Lake/CLI/Translate.lean
  3319. share/lean4/src/lean/lake/Lake/CLI/Translate/Lean.lean
  3320. share/lean4/src/lean/lake/Lake/CLI/Translate/Toml.lean
  3321. share/lean4/src/lean/lake/Lake/Config.lean
  3322. share/lean4/src/lean/lake/Lake/Config/Context.lean
  3323. share/lean4/src/lean/lake/Lake/Config/Defaults.lean
  3324. share/lean4/src/lean/lake/Lake/Config/Dependency.lean
  3325. share/lean4/src/lean/lake/Lake/Config/Env.lean
  3326. share/lean4/src/lean/lake/Lake/Config/ExternLib.lean
  3327. share/lean4/src/lean/lake/Lake/Config/ExternLibConfig.lean
  3328. share/lean4/src/lean/lake/Lake/Config/FacetConfig.lean
  3329. share/lean4/src/lean/lake/Lake/Config/Glob.lean
  3330. share/lean4/src/lean/lake/Lake/Config/InstallPath.lean
  3331. share/lean4/src/lean/lake/Lake/Config/Lang.lean
  3332. share/lean4/src/lean/lake/Lake/Config/LeanConfig.lean
  3333. share/lean4/src/lean/lake/Lake/Config/LeanExe.lean
  3334. share/lean4/src/lean/lake/Lake/Config/LeanExeConfig.lean
  3335. share/lean4/src/lean/lake/Lake/Config/LeanLib.lean
  3336. share/lean4/src/lean/lake/Lake/Config/LeanLibConfig.lean
  3337. share/lean4/src/lean/lake/Lake/Config/Module.lean
  3338. share/lean4/src/lean/lake/Lake/Config/Monad.lean
  3339. share/lean4/src/lean/lake/Lake/Config/Opaque.lean
  3340. share/lean4/src/lean/lake/Lake/Config/Package.lean
  3341. share/lean4/src/lean/lake/Lake/Config/Script.lean
  3342. share/lean4/src/lean/lake/Lake/Config/TargetConfig.lean
  3343. share/lean4/src/lean/lake/Lake/Config/Workspace.lean
  3344. share/lean4/src/lean/lake/Lake/Config/WorkspaceConfig.lean
  3345. share/lean4/src/lean/lake/Lake/DSL.lean
  3346. share/lean4/src/lean/lake/Lake/DSL/Attributes.lean
  3347. share/lean4/src/lean/lake/Lake/DSL/AttributesCore.lean
  3348. share/lean4/src/lean/lake/Lake/DSL/Config.lean
  3349. share/lean4/src/lean/lake/Lake/DSL/DeclUtil.lean
  3350. share/lean4/src/lean/lake/Lake/DSL/Extensions.lean
  3351. share/lean4/src/lean/lake/Lake/DSL/Meta.lean
  3352. share/lean4/src/lean/lake/Lake/DSL/Package.lean
  3353. share/lean4/src/lean/lake/Lake/DSL/Require.lean
  3354. share/lean4/src/lean/lake/Lake/DSL/Script.lean
  3355. share/lean4/src/lean/lake/Lake/DSL/Targets.lean
  3356. share/lean4/src/lean/lake/Lake/Load.lean
  3357. share/lean4/src/lean/lake/Lake/Load/Config.lean
  3358. share/lean4/src/lean/lake/Lake/Load/Lean.lean
  3359. share/lean4/src/lean/lake/Lake/Load/Lean/Elab.lean
  3360. share/lean4/src/lean/lake/Lake/Load/Lean/Eval.lean
  3361. share/lean4/src/lean/lake/Lake/Load/Manifest.lean
  3362. share/lean4/src/lean/lake/Lake/Load/Materialize.lean
  3363. share/lean4/src/lean/lake/Lake/Load/Package.lean
  3364. share/lean4/src/lean/lake/Lake/Load/Resolve.lean
  3365. share/lean4/src/lean/lake/Lake/Load/Toml.lean
  3366. share/lean4/src/lean/lake/Lake/Load/Workspace.lean
  3367. share/lean4/src/lean/lake/Lake/Main.lean
  3368. share/lean4/src/lean/lake/Lake/Reservoir.lean
  3369. share/lean4/src/lean/lake/Lake/Toml.lean
  3370. share/lean4/src/lean/lake/Lake/Toml/Data.lean
  3371. share/lean4/src/lean/lake/Lake/Toml/Data/DateTime.lean
  3372. share/lean4/src/lean/lake/Lake/Toml/Data/Dict.lean
  3373. share/lean4/src/lean/lake/Lake/Toml/Data/Value.lean
  3374. share/lean4/src/lean/lake/Lake/Toml/Decode.lean
  3375. share/lean4/src/lean/lake/Lake/Toml/Elab.lean
  3376. share/lean4/src/lean/lake/Lake/Toml/Elab/Expression.lean
  3377. share/lean4/src/lean/lake/Lake/Toml/Elab/Value.lean
  3378. share/lean4/src/lean/lake/Lake/Toml/Encode.lean
  3379. share/lean4/src/lean/lake/Lake/Toml/Grammar.lean
  3380. share/lean4/src/lean/lake/Lake/Toml/Load.lean
  3381. share/lean4/src/lean/lake/Lake/Toml/ParserUtil.lean
  3382. share/lean4/src/lean/lake/Lake/Util/Binder.lean
  3383. share/lean4/src/lean/lake/Lake/Util/Casing.lean
  3384. share/lean4/src/lean/lake/Lake/Util/Cli.lean
  3385. share/lean4/src/lean/lake/Lake/Util/Compare.lean
  3386. share/lean4/src/lean/lake/Lake/Util/Cycle.lean
  3387. share/lean4/src/lean/lake/Lake/Util/DRBMap.lean
  3388. share/lean4/src/lean/lake/Lake/Util/EStateT.lean
  3389. share/lean4/src/lean/lake/Lake/Util/EquipT.lean
  3390. share/lean4/src/lean/lake/Lake/Util/Error.lean
  3391. share/lean4/src/lean/lake/Lake/Util/Exit.lean
  3392. share/lean4/src/lean/lake/Lake/Util/Family.lean
  3393. share/lean4/src/lean/lake/Lake/Util/FilePath.lean
  3394. share/lean4/src/lean/lake/Lake/Util/Git.lean
  3395. share/lean4/src/lean/lake/Lake/Util/IO.lean
  3396. share/lean4/src/lean/lake/Lake/Util/JsonObject.lean
  3397. share/lean4/src/lean/lake/Lake/Util/Lift.lean
  3398. share/lean4/src/lean/lake/Lake/Util/List.lean
  3399. share/lean4/src/lean/lake/Lake/Util/Lock.lean
  3400. share/lean4/src/lean/lake/Lake/Util/Log.lean
  3401. share/lean4/src/lean/lake/Lake/Util/MainM.lean
  3402. share/lean4/src/lean/lake/Lake/Util/Message.lean
  3403. share/lean4/src/lean/lake/Lake/Util/Name.lean
  3404. share/lean4/src/lean/lake/Lake/Util/NativeLib.lean
  3405. share/lean4/src/lean/lake/Lake/Util/Opaque.lean
  3406. share/lean4/src/lean/lake/Lake/Util/OrdHashSet.lean
  3407. share/lean4/src/lean/lake/Lake/Util/OrderedTagAttribute.lean
  3408. share/lean4/src/lean/lake/Lake/Util/Proc.lean
  3409. share/lean4/src/lean/lake/Lake/Util/RBArray.lean
  3410. share/lean4/src/lean/lake/Lake/Util/Store.lean
  3411. share/lean4/src/lean/lake/Lake/Util/StoreInsts.lean
  3412. share/lean4/src/lean/lake/Lake/Util/Sugar.lean
  3413. share/lean4/src/lean/lake/Lake/Util/Task.lean
  3414. share/lean4/src/lean/lake/Lake/Util/Version.lean
  3415. share/lean4/src/lean/lake/Lake/Version.lean
  3416. share/lean4/src/lean/lake/README.md
  3417. share/lean4/src/lean/lake/tests/badImport/Etc.lean
  3418. share/lean4/src/lean/lake/tests/badImport/Lib/B.lean
  3419. share/lean4/src/lean/lake/tests/badImport/Lib/B1.lean
  3420. share/lean4/src/lean/lake/tests/badImport/Lib/S.lean
  3421. share/lean4/src/lean/lake/tests/badImport/Lib/U.lean
  3422. share/lean4/src/lean/lake/tests/badImport/X.lean
  3423. share/lean4/src/lean/lake/tests/badImport/X1.lean
  3424. share/lean4/src/lean/lake/tests/badImport/lakefile.lean
  3425. share/lean4/src/lean/lake/tests/buildArgs/Hello.lean
  3426. share/lean4/src/lean/lake/tests/buildArgs/Main.lean
  3427. share/lean4/src/lean/lake/tests/buildArgs/foo.lean
  3428. share/lean4/src/lean/lake/tests/buildArgs/lakefile.lean
  3429. share/lean4/src/lean/lake/tests/clone/test/Main.lean
  3430. share/lean4/src/lean/lake/tests/clone/test/lakefile.lean
  3431. share/lean4/src/lean/lake/tests/driver/Test.lean
  3432. share/lean4/src/lean/lake/tests/driver/build.lean
  3433. share/lean4/src/lean/lake/tests/driver/dep-invalid.lean
  3434. share/lean4/src/lean/lake/tests/driver/dep-unknown.lean
  3435. share/lean4/src/lean/lake/tests/driver/dep.lean
  3436. share/lean4/src/lean/lake/tests/driver/dep/lakefile.lean
  3437. share/lean4/src/lean/lake/tests/driver/driver.lean
  3438. share/lean4/src/lean/lake/tests/driver/exe.lean
  3439. share/lean4/src/lean/lake/tests/driver/lib.lean
  3440. share/lean4/src/lean/lake/tests/driver/none.lean
  3441. share/lean4/src/lean/lake/tests/driver/runner.lean
  3442. share/lean4/src/lean/lake/tests/driver/script.lean
  3443. share/lean4/src/lean/lake/tests/driver/two.lean
  3444. share/lean4/src/lean/lake/tests/driver/unknown.lean
  3445. share/lean4/src/lean/lake/tests/globs/TBA.lean
  3446. share/lean4/src/lean/lake/tests/globs/TBA/Eulerian.lean
  3447. share/lean4/src/lean/lake/tests/globs/TBA/Eulerian/A.lean
  3448. share/lean4/src/lean/lake/tests/globs/Test/1.lean
  3449. share/lean4/src/lean/lake/tests/globs/Test/Subtest/1.lean
  3450. share/lean4/src/lean/lake/tests/globs/lakefile.lean
  3451. share/lean4/src/lean/lake/tests/lean/Lib.lean
  3452. share/lean4/src/lean/lake/tests/lean/Lib/Basic.lean
  3453. share/lean4/src/lean/lake/tests/lean/Test.lean
  3454. share/lean4/src/lean/lake/tests/lean/lakefile.lean
  3455. share/lean4/src/lean/lake/tests/llvm-bitcode-gen/LlvmBitcodeGen.lean
  3456. share/lean4/src/lean/lake/tests/llvm-bitcode-gen/LlvmBitcodeGen/Basic.lean
  3457. share/lean4/src/lean/lake/tests/llvm-bitcode-gen/Main.lean
  3458. share/lean4/src/lean/lake/tests/llvm-bitcode-gen/lakefile.lean
  3459. share/lean4/src/lean/lake/tests/lock/Error.lean
  3460. share/lean4/src/lean/lake/tests/lock/Loop.lean
  3461. share/lean4/src/lean/lake/tests/lock/Nop.lean
  3462. share/lean4/src/lean/lake/tests/lock/Wait.lean
  3463. share/lean4/src/lean/lake/tests/lock/lakefile.lean
  3464. share/lean4/src/lean/lake/tests/logLevel/Log/Error.lean
  3465. share/lean4/src/lean/lake/tests/logLevel/Log/Info.lean
  3466. share/lean4/src/lean/lake/tests/logLevel/Log/Warning.lean
  3467. share/lean4/src/lean/lake/tests/logLevel/lakefile.lean
  3468. share/lean4/src/lean/lake/tests/manifest/bar/lakefile.lean
  3469. share/lean4/src/lean/lake/tests/manifest/foo/lakefile.lean
  3470. share/lean4/src/lean/lake/tests/manifest/lakefile.lean
  3471. share/lean4/src/lean/lake/tests/meta/lakefile.lean
  3472. share/lean4/src/lean/lake/tests/noBuild/Test.lean
  3473. share/lean4/src/lean/lake/tests/noBuild/lakefile.lean
  3474. share/lean4/src/lean/lake/tests/noRelease/Test.lean
  3475. share/lean4/src/lean/lake/tests/noRelease/dep/lakefile.lean
  3476. share/lean4/src/lean/lake/tests/noRelease/lakefile.lean
  3477. share/lean4/src/lean/lake/tests/online/lakefile.lean
  3478. share/lean4/src/lean/lake/tests/order/A.lean
  3479. share/lean4/src/lean/lake/tests/order/A/B.lean
  3480. share/lean4/src/lean/lake/tests/order/A/B/C.lean
  3481. share/lean4/src/lean/lake/tests/order/Y.lean
  3482. share/lean4/src/lean/lake/tests/order/bar/X.lean
  3483. share/lean4/src/lean/lake/tests/order/bar/Y.lean
  3484. share/lean4/src/lean/lake/tests/order/bar/lakefile.lean
  3485. share/lean4/src/lean/lake/tests/order/foo/X.lean
  3486. share/lean4/src/lean/lake/tests/order/foo/Y.lean
  3487. share/lean4/src/lean/lake/tests/order/foo/lakefile.lean
  3488. share/lean4/src/lean/lake/tests/order/lakefile.lean
  3489. share/lean4/src/lean/lake/tests/order/leaf/Z.lean
  3490. share/lean4/src/lean/lake/tests/order/leaf/lakefile.lean
  3491. share/lean4/src/lean/lake/tests/postUpdate/dep/hello.lean
  3492. share/lean4/src/lean/lake/tests/postUpdate/dep/lakefile.lean
  3493. share/lean4/src/lean/lake/tests/postUpdate/lakefile.lean
  3494. share/lean4/src/lean/lake/tests/precompileArgs/Foo.lean
  3495. share/lean4/src/lean/lake/tests/precompileArgs/Foo/Bar.lean
  3496. share/lean4/src/lean/lake/tests/precompileArgs/lakefile.lean
  3497. share/lean4/src/lean/lake/tests/rebuild/Main.lean
  3498. share/lean4/src/lean/lake/tests/rebuild/lakefile.lean
  3499. share/lean4/src/lean/lake/tests/reservoirConfig/lakefile.lean
  3500. share/lean4/src/lean/lake/tests/reversion/Hello.lean
  3501. share/lean4/src/lean/lake/tests/reversion/Main.lean
  3502. share/lean4/src/lean/lake/tests/reversion/lakefile.lean
  3503. share/lean4/src/lean/lake/tests/toml/README.md
  3504. share/lean4/src/lean/lake/tests/toml/Test.lean
  3505. share/lean4/src/lean/lake/tests/trace/Foo.lean
  3506. share/lean4/src/lean/lake/tests/translateConfig/out.expected.lean
  3507. share/lean4/src/lean/lake/tests/translateConfig/source.lean
  3508. share/lean4/src/lean/lake/tests/versionTags/lakefile.lean
  3509. @owner
  3510. @group
  3511. @mode
Collapse this list.
Dependency lines:
  • lean4>0:math/lean4
To install the port:
cd /usr/ports/math/lean4/ && make install clean
To add the package, run one of these commands:
  • pkg install math/lean4
  • pkg install lean4
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.
PKGNAME: lean4
Flavors: there is no flavor information for this port.
distinfo:
TIMESTAMP = 1727897287 SHA256 (leanprover-lean4-v4.12.0_GH0.tar.gz) = 409f623eb9044b3b025951415dfa0db531ed29056a5fba5d556394ad9435e62b SIZE (leanprover-lean4-v4.12.0_GH0.tar.gz) = 27334919
Packages (timestamps in pop-ups are UTC):
lean4
ABIaarch64amd64armv6armv7i386powerpcpowerpc64powerpc64le
FreeBSD:13:latest4.12.04.12.0------
FreeBSD:13:quarterly4.12.04.12.0------
FreeBSD:14:latest4.12.04.12.0------
FreeBSD:14:quarterly4.12.04.12.0------
FreeBSD:15:latest4.12.04.12.0n/a-n/a--4.5.0
Dependencies
NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
Build dependencies:
  1. bash : shells/bash
  2. cadical : math/cadical
  3. cmake : devel/cmake-core
  4. gmake>=4.4.1 : devel/gmake
  5. python3.11 : lang/python311
Runtime dependencies:
  1. cadical : math/cadical
Library dependencies:
  1. libgmp.so : math/gmp
  2. libuv.so : devel/libuv
This port is required by:
for Build

Deleted ports which required this port:

Expand this list of 1 deleted port
  1. math/lean4-std*
  2. Collapse this list of deleted ports.
* - deleted ports are only shown under the This port is required by section. It was harder to do for the Required section. Perhaps later...
Configuration Options:
No options to configure
Options name:
math_lean4
USES:
cmake:noninja,testing compiler:c++14-lang gmake python:build
FreshPorts was unable to extract/find any pkg message
Master Sites:
Expand this list (1 items)
Collapse this list.
  1. https://codeload.github.com/leanprover/lean4/tar.gz/v4.12.0?dummy=/
Collapse this list.
Port Moves
  • port moved here from math/lean on 2024-10-30
    REASON: lean has been superseded by lean4, new generation

Number of commits found: 15

Commit History - (may be incomplete: for full details, see links to repositories near top of page)
CommitCreditsLog message
4.12.0
03 Oct 2024 09:17:09
commit hash: fec276899d1509867529356a07505ae01015d7decommit hash: fec276899d1509867529356a07505ae01015d7decommit hash: fec276899d1509867529356a07505ae01015d7decommit hash: fec276899d1509867529356a07505ae01015d7de files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/lean4: update 4.11.0 → 4.12.0
4.11.0_1
25 Sep 2024 08:33:27
commit hash: 8a1be59cb545963889ca0d2ec7d6da14f5da6eedcommit hash: 8a1be59cb545963889ca0d2ec7d6da14f5da6eedcommit hash: 8a1be59cb545963889ca0d2ec7d6da14f5da6eedcommit hash: 8a1be59cb545963889ca0d2ec7d6da14f5da6eed files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer
Author: wen heping		 
math/lean4: Remove pkg-message since both recommendations there aren't relevant
any more
4.11.0
02 Sep 2024 07:54:45
commit hash: 1fde20b526ddc12811e0af7ee6a71e1f732eaf5bcommit hash: 1fde20b526ddc12811e0af7ee6a71e1f732eaf5bcommit hash: 1fde20b526ddc12811e0af7ee6a71e1f732eaf5bcommit hash: 1fde20b526ddc12811e0af7ee6a71e1f732eaf5b files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/lean4: update 4.10.0 → 4.11.0
4.10.0
01 Aug 2024 03:53:06
commit hash: bdbbccce54cf1ca916964c7f1ce05e81cf3d0052commit hash: bdbbccce54cf1ca916964c7f1ce05e81cf3d0052commit hash: bdbbccce54cf1ca916964c7f1ce05e81cf3d0052commit hash: bdbbccce54cf1ca916964c7f1ce05e81cf3d0052 files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/lean4: update 4.9.1 → 4.10.0
4.9.1
10 Jul 2024 16:00:55
commit hash: b5820dc09aa898379f0727bec98e2c8f6dbdc6f7commit hash: b5820dc09aa898379f0727bec98e2c8f6dbdc6f7commit hash: b5820dc09aa898379f0727bec98e2c8f6dbdc6f7commit hash: b5820dc09aa898379f0727bec98e2c8f6dbdc6f7 files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/lean4: update 4.9.0 → 4.9.1

Reported by:	portscout
4.9.0
06 Jul 2024 21:06:13
commit hash: 2c62b3dc7a702d763d2c12553777bd93002cccb0commit hash: 2c62b3dc7a702d763d2c12553777bd93002cccb0commit hash: 2c62b3dc7a702d763d2c12553777bd93002cccb0commit hash: 2c62b3dc7a702d763d2c12553777bd93002cccb0 files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer
Author: Wen Heping		 
math/lean4: update 4.8.0 → 4.9.0

PR:	280156
4.8.0
07 Jun 2024 17:01:24
commit hash: 4c7811ea785fa4c53d83e3991a6f786e09251d0fcommit hash: 4c7811ea785fa4c53d83e3991a6f786e09251d0fcommit hash: 4c7811ea785fa4c53d83e3991a6f786e09251d0fcommit hash: 4c7811ea785fa4c53d83e3991a6f786e09251d0f files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/lean4: update 4.7.0 → 4.8.0

Reported by:	portscout
4.7.0
06 May 2024 08:43:50
commit hash: 39cc19929dda91e10fd0b92cc16b1f506cb57e2ccommit hash: 39cc19929dda91e10fd0b92cc16b1f506cb57e2ccommit hash: 39cc19929dda91e10fd0b92cc16b1f506cb57e2ccommit hash: 39cc19929dda91e10fd0b92cc16b1f506cb57e2c files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/lean4: Broken on armv7

Reported by:	fallout
4.7.0
13 Apr 2024 22:31:12
commit hash: d1bd2996d45a7bea0740770ab0d8c3f0c4690246commit hash: d1bd2996d45a7bea0740770ab0d8c3f0c4690246commit hash: d1bd2996d45a7bea0740770ab0d8c3f0c4690246commit hash: d1bd2996d45a7bea0740770ab0d8c3f0c4690246 files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/lean4: update 4.6.0 → 4.7.0

Reported by:	portscout
4.6.0
27 Feb 2024 00:31:16
commit hash: d3029e4e321b891b3c1646c0c5ca826c24f32b50commit hash: d3029e4e321b891b3c1646c0c5ca826c24f32b50commit hash: d3029e4e321b891b3c1646c0c5ca826c24f32b50commit hash: d3029e4e321b891b3c1646c0c5ca826c24f32b50 files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/lean4: update 4.5.0 → 4.6.0

Reported by:	portscout
4.5.0
01 Feb 2024 17:56:05
commit hash: 5776e726c11ca8677234fe0619afc7def9651a00commit hash: 5776e726c11ca8677234fe0619afc7def9651a00commit hash: 5776e726c11ca8677234fe0619afc7def9651a00commit hash: 5776e726c11ca8677234fe0619afc7def9651a00 files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/lean4: update 4.5.0-rc1 → 4.5.0

Reported by:	portscout
4.5.0.r1_2
19 Jan 2024 13:55:31
commit hash: e2afbb4b7a27db953e8d5ddf2078df8f002d0e18commit hash: e2afbb4b7a27db953e8d5ddf2078df8f002d0e18commit hash: e2afbb4b7a27db953e8d5ddf2078df8f002d0e18commit hash: e2afbb4b7a27db953e8d5ddf2078df8f002d0e18 files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/lean4: Broken on i386

Reported by:	fallout
4.5.0.r1_2
16 Jan 2024 10:45:00
commit hash: 5b496eb1e5574cead3dd5c6ddd14e5026f876fddcommit hash: 5b496eb1e5574cead3dd5c6ddd14e5026f876fddcommit hash: 5b496eb1e5574cead3dd5c6ddd14e5026f876fddcommit hash: 5b496eb1e5574cead3dd5c6ddd14e5026f876fdd files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/lean4: Remove std library: it will be in its own port
4.5.0.r1_1
15 Jan 2024 21:14:01
commit hash: b05fa3fd3e8838beb5b3cefb42bb2f93924d6041commit hash: b05fa3fd3e8838beb5b3cefb42bb2f93924d6041commit hash: b05fa3fd3e8838beb5b3cefb42bb2f93924d6041commit hash: b05fa3fd3e8838beb5b3cefb42bb2f93924d6041 files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/lean4: Add Std4 library
4.5.0.r1
14 Jan 2024 03:50:20
commit hash: 27b9012337ee58a0ecc220dfd079cc2189dc99e2commit hash: 27b9012337ee58a0ecc220dfd079cc2189dc99e2commit hash: 27b9012337ee58a0ecc220dfd079cc2189dc99e2commit hash: 27b9012337ee58a0ecc220dfd079cc2189dc99e2 files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/lean4: New port: Theorem prover and functional language for math (new gen)

Number of commits found: 15
Login
User Login
Create account

Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD

This site
What is FreshPorts?
About the authors
Issues
FAQ
How big is it?
Security Policy
Privacy
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
vaultwardenDec 20
chromiumDec 19
ungoogled-chromiumDec 19
forgejo*Dec 18
forgejo7*Dec 18
liboqsDec 18
forgejoDec 17
forgejoDec 17
giteaDec 17
giteaDec 17
giteaDec 17
zeekDec 16
py-matrix-synapseDec 15
gitlabDec 12
chromiumDec 11

23 vulnerabilities affecting 297 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities

Last processed:
2024-12-20 14:15:46 UTC


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)

Calculated hourly:
Port count 33179
Broken 114
Deprecated 186
Ignore 238
Forbidden 1
Restricted 1
No CDROM 1
Vulnerable 35
Expired 12
Set to expire 152
Interactive 0
new 24 hours 6
new 48 hours26
new 7 days46
new fortnight67
new month186
Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD 		Valid HTML, CSS, and RSS. Copyright © 2000-2024 Dan Langille. All rights reserved.