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
This referral link gives you 10% off a Fastmail.com account and gives me a discount on my Fastmail account.

Get notified when packages are built

A new feature has been added. FreshPorts already tracks package built by the FreeBSD project. This information is displayed on each port page. You can now get an email when FreshPorts notices a new package is available for something on one of your watch lists. However, you must opt into that. Click on Report Subscriptions on the right, and New Package Notification box, and click on Update.

Finally, under Watch Lists, click on ABI Package Subscriptions to select your ABI (e.g. FreeBSD:14:amd64) & package set (latest/quarterly) combination for a given watch list. This is what FreshPorts will look for.

Port details
lean4 Theorem prover and functional language for math (new gen)
4.7.0 math on this many watch lists=0 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.6.0Version 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-04-13 22:31:12
Commit Hash: d1bd299
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 (2566 items)
Collapse this list.
  1. /usr/local/share/licenses/lean4-4.7.0/catalog.mk
  2. /usr/local/share/licenses/lean4-4.7.0/LICENSE
  3. /usr/local/share/licenses/lean4-4.7.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/version.h
  12. lib/lean/Init.ilean
  13. lib/lean/Init.olean
  14. lib/lean/Init/BinderPredicates.ilean
  15. lib/lean/Init/BinderPredicates.olean
  16. lib/lean/Init/ByCases.ilean
  17. lib/lean/Init/ByCases.olean
  18. lib/lean/Init/Classical.ilean
  19. lib/lean/Init/Classical.olean
  20. lib/lean/Init/Coe.ilean
  21. lib/lean/Init/Coe.olean
  22. lib/lean/Init/Control.ilean
  23. lib/lean/Init/Control.olean
  24. lib/lean/Init/Control/Basic.ilean
  25. lib/lean/Init/Control/Basic.olean
  26. lib/lean/Init/Control/EState.ilean
  27. lib/lean/Init/Control/EState.olean
  28. lib/lean/Init/Control/Except.ilean
  29. lib/lean/Init/Control/Except.olean
  30. lib/lean/Init/Control/ExceptCps.ilean
  31. lib/lean/Init/Control/ExceptCps.olean
  32. lib/lean/Init/Control/Id.ilean
  33. lib/lean/Init/Control/Id.olean
  34. lib/lean/Init/Control/Lawful.ilean
  35. lib/lean/Init/Control/Lawful.olean
  36. lib/lean/Init/Control/Option.ilean
  37. lib/lean/Init/Control/Option.olean
  38. lib/lean/Init/Control/Reader.ilean
  39. lib/lean/Init/Control/Reader.olean
  40. lib/lean/Init/Control/State.ilean
  41. lib/lean/Init/Control/State.olean
  42. lib/lean/Init/Control/StateCps.ilean
  43. lib/lean/Init/Control/StateCps.olean
  44. lib/lean/Init/Control/StateRef.ilean
  45. lib/lean/Init/Control/StateRef.olean
  46. lib/lean/Init/Conv.ilean
  47. lib/lean/Init/Conv.olean
  48. lib/lean/Init/Core.ilean
  49. lib/lean/Init/Core.olean
  50. lib/lean/Init/Data.ilean
  51. lib/lean/Init/Data.olean
  52. lib/lean/Init/Data/AC.ilean
  53. lib/lean/Init/Data/AC.olean
  54. lib/lean/Init/Data/Array.ilean
  55. lib/lean/Init/Data/Array.olean
  56. lib/lean/Init/Data/Array/Basic.ilean
  57. lib/lean/Init/Data/Array/Basic.olean
  58. lib/lean/Init/Data/Array/BasicAux.ilean
  59. lib/lean/Init/Data/Array/BasicAux.olean
  60. lib/lean/Init/Data/Array/BinSearch.ilean
  61. lib/lean/Init/Data/Array/BinSearch.olean
  62. lib/lean/Init/Data/Array/DecidableEq.ilean
  63. lib/lean/Init/Data/Array/DecidableEq.olean
  64. lib/lean/Init/Data/Array/InsertionSort.ilean
  65. lib/lean/Init/Data/Array/InsertionSort.olean
  66. lib/lean/Init/Data/Array/Lemmas.ilean
  67. lib/lean/Init/Data/Array/Lemmas.olean
  68. lib/lean/Init/Data/Array/Mem.ilean
  69. lib/lean/Init/Data/Array/Mem.olean
  70. lib/lean/Init/Data/Array/QSort.ilean
  71. lib/lean/Init/Data/Array/QSort.olean
  72. lib/lean/Init/Data/Array/Subarray.ilean
  73. lib/lean/Init/Data/Array/Subarray.olean
  74. lib/lean/Init/Data/Basic.ilean
  75. lib/lean/Init/Data/Basic.olean
  76. lib/lean/Init/Data/BitVec.ilean
  77. lib/lean/Init/Data/BitVec.olean
  78. lib/lean/Init/Data/BitVec/Basic.ilean
  79. lib/lean/Init/Data/BitVec/Basic.olean
  80. lib/lean/Init/Data/BitVec/Bitblast.ilean
  81. lib/lean/Init/Data/BitVec/Bitblast.olean
  82. lib/lean/Init/Data/BitVec/Folds.ilean
  83. lib/lean/Init/Data/BitVec/Folds.olean
  84. lib/lean/Init/Data/BitVec/Lemmas.ilean
  85. lib/lean/Init/Data/BitVec/Lemmas.olean
  86. lib/lean/Init/Data/Bool.ilean
  87. lib/lean/Init/Data/Bool.olean
  88. lib/lean/Init/Data/ByteArray.ilean
  89. lib/lean/Init/Data/ByteArray.olean
  90. lib/lean/Init/Data/ByteArray/Basic.ilean
  91. lib/lean/Init/Data/ByteArray/Basic.olean
  92. lib/lean/Init/Data/Cast.ilean
  93. lib/lean/Init/Data/Cast.olean
  94. lib/lean/Init/Data/Channel.ilean
  95. lib/lean/Init/Data/Channel.olean
  96. lib/lean/Init/Data/Char.ilean
  97. lib/lean/Init/Data/Char.olean
  98. lib/lean/Init/Data/Char/Basic.ilean
  99. lib/lean/Init/Data/Char/Basic.olean
  100. lib/lean/Init/Data/Fin.ilean
  101. lib/lean/Init/Data/Fin.olean
  102. lib/lean/Init/Data/Fin/Basic.ilean
  103. lib/lean/Init/Data/Fin/Basic.olean
  104. lib/lean/Init/Data/Fin/Fold.ilean
  105. lib/lean/Init/Data/Fin/Fold.olean
  106. lib/lean/Init/Data/Fin/Iterate.ilean
  107. lib/lean/Init/Data/Fin/Iterate.olean
  108. lib/lean/Init/Data/Fin/Lemmas.ilean
  109. lib/lean/Init/Data/Fin/Lemmas.olean
  110. lib/lean/Init/Data/Fin/Log2.ilean
  111. lib/lean/Init/Data/Fin/Log2.olean
  112. lib/lean/Init/Data/Float.ilean
  113. lib/lean/Init/Data/Float.olean
  114. lib/lean/Init/Data/FloatArray.ilean
  115. lib/lean/Init/Data/FloatArray.olean
  116. lib/lean/Init/Data/FloatArray/Basic.ilean
  117. lib/lean/Init/Data/FloatArray/Basic.olean
  118. lib/lean/Init/Data/Format.ilean
  119. lib/lean/Init/Data/Format.olean
  120. lib/lean/Init/Data/Format/Basic.ilean
  121. lib/lean/Init/Data/Format/Basic.olean
  122. lib/lean/Init/Data/Format/Instances.ilean
  123. lib/lean/Init/Data/Format/Instances.olean
  124. lib/lean/Init/Data/Format/Macro.ilean
  125. lib/lean/Init/Data/Format/Macro.olean
  126. lib/lean/Init/Data/Format/Syntax.ilean
  127. lib/lean/Init/Data/Format/Syntax.olean
  128. lib/lean/Init/Data/Hashable.ilean
  129. lib/lean/Init/Data/Hashable.olean
  130. lib/lean/Init/Data/Int.ilean
  131. lib/lean/Init/Data/Int.olean
  132. lib/lean/Init/Data/Int/Basic.ilean
  133. lib/lean/Init/Data/Int/Basic.olean
  134. lib/lean/Init/Data/Int/Bitwise.ilean
  135. lib/lean/Init/Data/Int/Bitwise.olean
  136. lib/lean/Init/Data/Int/DivMod.ilean
  137. lib/lean/Init/Data/Int/DivMod.olean
  138. lib/lean/Init/Data/Int/DivModLemmas.ilean
  139. lib/lean/Init/Data/Int/DivModLemmas.olean
  140. lib/lean/Init/Data/Int/Gcd.ilean
  141. lib/lean/Init/Data/Int/Gcd.olean
  142. lib/lean/Init/Data/Int/Lemmas.ilean
  143. lib/lean/Init/Data/Int/Lemmas.olean
  144. lib/lean/Init/Data/Int/Order.ilean
  145. lib/lean/Init/Data/Int/Order.olean
  146. lib/lean/Init/Data/List.ilean
  147. lib/lean/Init/Data/List.olean
  148. lib/lean/Init/Data/List/Basic.ilean
  149. lib/lean/Init/Data/List/Basic.olean
  150. lib/lean/Init/Data/List/BasicAux.ilean
  151. lib/lean/Init/Data/List/BasicAux.olean
  152. lib/lean/Init/Data/List/Control.ilean
  153. lib/lean/Init/Data/List/Control.olean
  154. lib/lean/Init/Data/List/Lemmas.ilean
  155. lib/lean/Init/Data/List/Lemmas.olean
  156. lib/lean/Init/Data/Nat.ilean
  157. lib/lean/Init/Data/Nat.olean
  158. lib/lean/Init/Data/Nat/Basic.ilean
  159. lib/lean/Init/Data/Nat/Basic.olean
  160. lib/lean/Init/Data/Nat/Bitwise.ilean
  161. lib/lean/Init/Data/Nat/Bitwise.olean
  162. lib/lean/Init/Data/Nat/Bitwise/Basic.ilean
  163. lib/lean/Init/Data/Nat/Bitwise/Basic.olean
  164. lib/lean/Init/Data/Nat/Bitwise/Lemmas.ilean
  165. lib/lean/Init/Data/Nat/Bitwise/Lemmas.olean
  166. lib/lean/Init/Data/Nat/Control.ilean
  167. lib/lean/Init/Data/Nat/Control.olean
  168. lib/lean/Init/Data/Nat/Div.ilean
  169. lib/lean/Init/Data/Nat/Div.olean
  170. lib/lean/Init/Data/Nat/Dvd.ilean
  171. lib/lean/Init/Data/Nat/Dvd.olean
  172. lib/lean/Init/Data/Nat/Gcd.ilean
  173. lib/lean/Init/Data/Nat/Gcd.olean
  174. lib/lean/Init/Data/Nat/Lemmas.ilean
  175. lib/lean/Init/Data/Nat/Lemmas.olean
  176. lib/lean/Init/Data/Nat/Linear.ilean
  177. lib/lean/Init/Data/Nat/Linear.olean
  178. lib/lean/Init/Data/Nat/Log2.ilean
  179. lib/lean/Init/Data/Nat/Log2.olean
  180. lib/lean/Init/Data/Nat/MinMax.ilean
  181. lib/lean/Init/Data/Nat/MinMax.olean
  182. lib/lean/Init/Data/Nat/Mod.ilean
  183. lib/lean/Init/Data/Nat/Mod.olean
  184. lib/lean/Init/Data/Nat/Power2.ilean
  185. lib/lean/Init/Data/Nat/Power2.olean
  186. lib/lean/Init/Data/Nat/SOM.ilean
  187. lib/lean/Init/Data/Nat/SOM.olean
  188. lib/lean/Init/Data/OfScientific.ilean
  189. lib/lean/Init/Data/OfScientific.olean
  190. lib/lean/Init/Data/Option.ilean
  191. lib/lean/Init/Data/Option.olean
  192. lib/lean/Init/Data/Option/Basic.ilean
  193. lib/lean/Init/Data/Option/Basic.olean
  194. lib/lean/Init/Data/Option/BasicAux.ilean
  195. lib/lean/Init/Data/Option/BasicAux.olean
  196. lib/lean/Init/Data/Option/Instances.ilean
  197. lib/lean/Init/Data/Option/Instances.olean
  198. lib/lean/Init/Data/Option/Lemmas.ilean
  199. lib/lean/Init/Data/Option/Lemmas.olean
  200. lib/lean/Init/Data/Ord.ilean
  201. lib/lean/Init/Data/Ord.olean
  202. lib/lean/Init/Data/Prod.ilean
  203. lib/lean/Init/Data/Prod.olean
  204. lib/lean/Init/Data/Queue.ilean
  205. lib/lean/Init/Data/Queue.olean
  206. lib/lean/Init/Data/Random.ilean
  207. lib/lean/Init/Data/Random.olean
  208. lib/lean/Init/Data/Range.ilean
  209. lib/lean/Init/Data/Range.olean
  210. lib/lean/Init/Data/Repr.ilean
  211. lib/lean/Init/Data/Repr.olean
  212. lib/lean/Init/Data/Stream.ilean
  213. lib/lean/Init/Data/Stream.olean
  214. lib/lean/Init/Data/String.ilean
  215. lib/lean/Init/Data/String.olean
  216. lib/lean/Init/Data/String/Basic.ilean
  217. lib/lean/Init/Data/String/Basic.olean
  218. lib/lean/Init/Data/String/Extra.ilean
  219. lib/lean/Init/Data/String/Extra.olean
  220. lib/lean/Init/Data/Sum.ilean
  221. lib/lean/Init/Data/Sum.olean
  222. lib/lean/Init/Data/ToString.ilean
  223. lib/lean/Init/Data/ToString.olean
  224. lib/lean/Init/Data/ToString/Basic.ilean
  225. lib/lean/Init/Data/ToString/Basic.olean
  226. lib/lean/Init/Data/ToString/Macro.ilean
  227. lib/lean/Init/Data/ToString/Macro.olean
  228. lib/lean/Init/Data/UInt.ilean
  229. lib/lean/Init/Data/UInt.olean
  230. lib/lean/Init/Data/UInt/Basic.ilean
  231. lib/lean/Init/Data/UInt/Basic.olean
  232. lib/lean/Init/Data/UInt/Log2.ilean
  233. lib/lean/Init/Data/UInt/Log2.olean
  234. lib/lean/Init/Dynamic.ilean
  235. lib/lean/Init/Dynamic.olean
  236. lib/lean/Init/Ext.ilean
  237. lib/lean/Init/Ext.olean
  238. lib/lean/Init/Guard.ilean
  239. lib/lean/Init/Guard.olean
  240. lib/lean/Init/Hints.ilean
  241. lib/lean/Init/Hints.olean
  242. lib/lean/Init/Meta.ilean
  243. lib/lean/Init/Meta.olean
  244. lib/lean/Init/MetaTypes.ilean
  245. lib/lean/Init/MetaTypes.olean
  246. lib/lean/Init/Notation.ilean
  247. lib/lean/Init/Notation.olean
  248. lib/lean/Init/NotationExtra.ilean
  249. lib/lean/Init/NotationExtra.olean
  250. lib/lean/Init/Omega.ilean
  251. lib/lean/Init/Omega.olean
  252. lib/lean/Init/Omega/Coeffs.ilean
  253. lib/lean/Init/Omega/Coeffs.olean
  254. lib/lean/Init/Omega/Constraint.ilean
  255. lib/lean/Init/Omega/Constraint.olean
  256. lib/lean/Init/Omega/Int.ilean
  257. lib/lean/Init/Omega/Int.olean
  258. lib/lean/Init/Omega/IntList.ilean
  259. lib/lean/Init/Omega/IntList.olean
  260. lib/lean/Init/Omega/LinearCombo.ilean
  261. lib/lean/Init/Omega/LinearCombo.olean
  262. lib/lean/Init/Omega/Logic.ilean
  263. lib/lean/Init/Omega/Logic.olean
  264. lib/lean/Init/Prelude.ilean
  265. lib/lean/Init/Prelude.olean
  266. lib/lean/Init/PropLemmas.ilean
  267. lib/lean/Init/PropLemmas.olean
  268. lib/lean/Init/RCases.ilean
  269. lib/lean/Init/RCases.olean
  270. lib/lean/Init/ShareCommon.ilean
  271. lib/lean/Init/ShareCommon.olean
  272. lib/lean/Init/SimpLemmas.ilean
  273. lib/lean/Init/SimpLemmas.olean
  274. lib/lean/Init/Simproc.ilean
  275. lib/lean/Init/Simproc.olean
  276. lib/lean/Init/SizeOf.ilean
  277. lib/lean/Init/SizeOf.olean
  278. lib/lean/Init/SizeOfLemmas.ilean
  279. lib/lean/Init/SizeOfLemmas.olean
  280. lib/lean/Init/System.ilean
  281. lib/lean/Init/System.olean
  282. lib/lean/Init/System/FilePath.ilean
  283. lib/lean/Init/System/FilePath.olean
  284. lib/lean/Init/System/IO.ilean
  285. lib/lean/Init/System/IO.olean
  286. lib/lean/Init/System/IOError.ilean
  287. lib/lean/Init/System/IOError.olean
  288. lib/lean/Init/System/Mutex.ilean
  289. lib/lean/Init/System/Mutex.olean
  290. lib/lean/Init/System/Platform.ilean
  291. lib/lean/Init/System/Platform.olean
  292. lib/lean/Init/System/Promise.ilean
  293. lib/lean/Init/System/Promise.olean
  294. lib/lean/Init/System/ST.ilean
  295. lib/lean/Init/System/ST.olean
  296. lib/lean/Init/System/Uri.ilean
  297. lib/lean/Init/System/Uri.olean
  298. lib/lean/Init/Tactics.ilean
  299. lib/lean/Init/Tactics.olean
  300. lib/lean/Init/TacticsExtra.ilean
  301. lib/lean/Init/TacticsExtra.olean
  302. lib/lean/Init/Util.ilean
  303. lib/lean/Init/Util.olean
  304. lib/lean/Init/WF.ilean
  305. lib/lean/Init/WF.olean
  306. lib/lean/Init/WFTactics.ilean
  307. lib/lean/Init/WFTactics.olean
  308. lib/lean/Lake.ilean
  309. lib/lean/Lake.olean
  310. lib/lean/Lake/Build.ilean
  311. lib/lean/Lake/Build.olean
  312. lib/lean/Lake/Build/Actions.ilean
  313. lib/lean/Lake/Build/Actions.olean
  314. lib/lean/Lake/Build/Common.ilean
  315. lib/lean/Lake/Build/Common.olean
  316. lib/lean/Lake/Build/Context.ilean
  317. lib/lean/Lake/Build/Context.olean
  318. lib/lean/Lake/Build/Data.ilean
  319. lib/lean/Lake/Build/Data.olean
  320. lib/lean/Lake/Build/Executable.ilean
  321. lib/lean/Lake/Build/Executable.olean
  322. lib/lean/Lake/Build/Facets.ilean
  323. lib/lean/Lake/Build/Facets.olean
  324. lib/lean/Lake/Build/Imports.ilean
  325. lib/lean/Lake/Build/Imports.olean
  326. lib/lean/Lake/Build/Index.ilean
  327. lib/lean/Lake/Build/Index.olean
  328. lib/lean/Lake/Build/Info.ilean
  329. lib/lean/Lake/Build/Info.olean
  330. lib/lean/Lake/Build/Job.ilean
  331. lib/lean/Lake/Build/Job.olean
  332. lib/lean/Lake/Build/Key.ilean
  333. lib/lean/Lake/Build/Key.olean
  334. lib/lean/Lake/Build/Library.ilean
  335. lib/lean/Lake/Build/Library.olean
  336. lib/lean/Lake/Build/Module.ilean
  337. lib/lean/Lake/Build/Module.olean
  338. lib/lean/Lake/Build/Monad.ilean
  339. lib/lean/Lake/Build/Monad.olean
  340. lib/lean/Lake/Build/Package.ilean
  341. lib/lean/Lake/Build/Package.olean
  342. lib/lean/Lake/Build/Store.ilean
  343. lib/lean/Lake/Build/Store.olean
  344. lib/lean/Lake/Build/Targets.ilean
  345. lib/lean/Lake/Build/Targets.olean
  346. lib/lean/Lake/Build/Topological.ilean
  347. lib/lean/Lake/Build/Topological.olean
  348. lib/lean/Lake/Build/Trace.ilean
  349. lib/lean/Lake/Build/Trace.olean
  350. lib/lean/Lake/CLI.ilean
  351. lib/lean/Lake/CLI.olean
  352. lib/lean/Lake/CLI/Actions.ilean
  353. lib/lean/Lake/CLI/Actions.olean
  354. lib/lean/Lake/CLI/Build.ilean
  355. lib/lean/Lake/CLI/Build.olean
  356. lib/lean/Lake/CLI/Error.ilean
  357. lib/lean/Lake/CLI/Error.olean
  358. lib/lean/Lake/CLI/Help.ilean
  359. lib/lean/Lake/CLI/Help.olean
  360. lib/lean/Lake/CLI/Init.ilean
  361. lib/lean/Lake/CLI/Init.olean
  362. lib/lean/Lake/CLI/Main.ilean
  363. lib/lean/Lake/CLI/Main.olean
  364. lib/lean/Lake/CLI/Serve.ilean
  365. lib/lean/Lake/CLI/Serve.olean
  366. lib/lean/Lake/Config.ilean
  367. lib/lean/Lake/Config.olean
  368. lib/lean/Lake/Config/Context.ilean
  369. lib/lean/Lake/Config/Context.olean
  370. lib/lean/Lake/Config/Defaults.ilean
  371. lib/lean/Lake/Config/Defaults.olean
  372. lib/lean/Lake/Config/Dependency.ilean
  373. lib/lean/Lake/Config/Dependency.olean
  374. lib/lean/Lake/Config/Env.ilean
  375. lib/lean/Lake/Config/Env.olean
  376. lib/lean/Lake/Config/ExternLib.ilean
  377. lib/lean/Lake/Config/ExternLib.olean
  378. lib/lean/Lake/Config/ExternLibConfig.ilean
  379. lib/lean/Lake/Config/ExternLibConfig.olean
  380. lib/lean/Lake/Config/FacetConfig.ilean
  381. lib/lean/Lake/Config/FacetConfig.olean
  382. lib/lean/Lake/Config/Glob.ilean
  383. lib/lean/Lake/Config/Glob.olean
  384. lib/lean/Lake/Config/InstallPath.ilean
  385. lib/lean/Lake/Config/InstallPath.olean
  386. lib/lean/Lake/Config/LeanConfig.ilean
  387. lib/lean/Lake/Config/LeanConfig.olean
  388. lib/lean/Lake/Config/LeanExe.ilean
  389. lib/lean/Lake/Config/LeanExe.olean
  390. lib/lean/Lake/Config/LeanExeConfig.ilean
  391. lib/lean/Lake/Config/LeanExeConfig.olean
  392. lib/lean/Lake/Config/LeanLib.ilean
  393. lib/lean/Lake/Config/LeanLib.olean
  394. lib/lean/Lake/Config/LeanLibConfig.ilean
  395. lib/lean/Lake/Config/LeanLibConfig.olean
  396. lib/lean/Lake/Config/Module.ilean
  397. lib/lean/Lake/Config/Module.olean
  398. lib/lean/Lake/Config/Monad.ilean
  399. lib/lean/Lake/Config/Monad.olean
  400. lib/lean/Lake/Config/Opaque.ilean
  401. lib/lean/Lake/Config/Opaque.olean
  402. lib/lean/Lake/Config/Package.ilean
  403. lib/lean/Lake/Config/Package.olean
  404. lib/lean/Lake/Config/Script.ilean
  405. lib/lean/Lake/Config/Script.olean
  406. lib/lean/Lake/Config/TargetConfig.ilean
  407. lib/lean/Lake/Config/TargetConfig.olean
  408. lib/lean/Lake/Config/Workspace.ilean
  409. lib/lean/Lake/Config/Workspace.olean
  410. lib/lean/Lake/Config/WorkspaceConfig.ilean
  411. lib/lean/Lake/Config/WorkspaceConfig.olean
  412. lib/lean/Lake/DSL.ilean
  413. lib/lean/Lake/DSL.olean
  414. lib/lean/Lake/DSL/Attributes.ilean
  415. lib/lean/Lake/DSL/Attributes.olean
  416. lib/lean/Lake/DSL/Config.ilean
  417. lib/lean/Lake/DSL/Config.olean
  418. lib/lean/Lake/DSL/DeclUtil.ilean
  419. lib/lean/Lake/DSL/DeclUtil.olean
  420. lib/lean/Lake/DSL/Extensions.ilean
  421. lib/lean/Lake/DSL/Extensions.olean
  422. lib/lean/Lake/DSL/Meta.ilean
  423. lib/lean/Lake/DSL/Meta.olean
  424. lib/lean/Lake/DSL/Package.ilean
  425. lib/lean/Lake/DSL/Package.olean
  426. lib/lean/Lake/DSL/Require.ilean
  427. lib/lean/Lake/DSL/Require.olean
  428. lib/lean/Lake/DSL/Script.ilean
  429. lib/lean/Lake/DSL/Script.olean
  430. lib/lean/Lake/DSL/Targets.ilean
  431. lib/lean/Lake/DSL/Targets.olean
  432. lib/lean/Lake/Load.ilean
  433. lib/lean/Lake/Load.olean
  434. lib/lean/Lake/Load/Config.ilean
  435. lib/lean/Lake/Load/Config.olean
  436. lib/lean/Lake/Load/Elab.ilean
  437. lib/lean/Lake/Load/Elab.olean
  438. lib/lean/Lake/Load/Main.ilean
  439. lib/lean/Lake/Load/Main.olean
  440. lib/lean/Lake/Load/Manifest.ilean
  441. lib/lean/Lake/Load/Manifest.olean
  442. lib/lean/Lake/Load/Materialize.ilean
  443. lib/lean/Lake/Load/Materialize.olean
  444. lib/lean/Lake/Load/Package.ilean
  445. lib/lean/Lake/Load/Package.olean
  446. lib/lean/Lake/Main.ilean
  447. lib/lean/Lake/Main.olean
  448. lib/lean/Lake/Util/Async.ilean
  449. lib/lean/Lake/Util/Async.olean
  450. lib/lean/Lake/Util/Binder.ilean
  451. lib/lean/Lake/Util/Binder.olean
  452. lib/lean/Lake/Util/Casing.ilean
  453. lib/lean/Lake/Util/Casing.olean
  454. lib/lean/Lake/Util/Cli.ilean
  455. lib/lean/Lake/Util/Cli.olean
  456. lib/lean/Lake/Util/Compare.ilean
  457. lib/lean/Lake/Util/Compare.olean
  458. lib/lean/Lake/Util/Cycle.ilean
  459. lib/lean/Lake/Util/Cycle.olean
  460. lib/lean/Lake/Util/DRBMap.ilean
  461. lib/lean/Lake/Util/DRBMap.olean
  462. lib/lean/Lake/Util/EStateT.ilean
  463. lib/lean/Lake/Util/EStateT.olean
  464. lib/lean/Lake/Util/EquipT.ilean
  465. lib/lean/Lake/Util/EquipT.olean
  466. lib/lean/Lake/Util/Error.ilean
  467. lib/lean/Lake/Util/Error.olean
  468. lib/lean/Lake/Util/Exit.ilean
  469. lib/lean/Lake/Util/Exit.olean
  470. lib/lean/Lake/Util/Family.ilean
  471. lib/lean/Lake/Util/Family.olean
  472. lib/lean/Lake/Util/Git.ilean
  473. lib/lean/Lake/Util/Git.olean
  474. lib/lean/Lake/Util/Lift.ilean
  475. lib/lean/Lake/Util/Lift.olean
  476. lib/lean/Lake/Util/List.ilean
  477. lib/lean/Lake/Util/List.olean
  478. lib/lean/Lake/Util/Log.ilean
  479. lib/lean/Lake/Util/Log.olean
  480. lib/lean/Lake/Util/MainM.ilean
  481. lib/lean/Lake/Util/MainM.olean
  482. lib/lean/Lake/Util/Name.ilean
  483. lib/lean/Lake/Util/Name.olean
  484. lib/lean/Lake/Util/NativeLib.ilean
  485. lib/lean/Lake/Util/NativeLib.olean
  486. lib/lean/Lake/Util/Opaque.ilean
  487. lib/lean/Lake/Util/Opaque.olean
  488. lib/lean/Lake/Util/OptionIO.ilean
  489. lib/lean/Lake/Util/OptionIO.olean
  490. lib/lean/Lake/Util/OrdHashSet.ilean
  491. lib/lean/Lake/Util/OrdHashSet.olean
  492. lib/lean/Lake/Util/OrderedTagAttribute.ilean
  493. lib/lean/Lake/Util/OrderedTagAttribute.olean
  494. lib/lean/Lake/Util/Proc.ilean
  495. lib/lean/Lake/Util/Proc.olean
  496. lib/lean/Lake/Util/RBArray.ilean
  497. lib/lean/Lake/Util/RBArray.olean
  498. lib/lean/Lake/Util/Store.ilean
  499. lib/lean/Lake/Util/Store.olean
  500. lib/lean/Lake/Util/StoreInsts.ilean
  501. lib/lean/Lake/Util/StoreInsts.olean
  502. lib/lean/Lake/Util/Sugar.ilean
  503. lib/lean/Lake/Util/Sugar.olean
  504. lib/lean/Lake/Util/Task.ilean
  505. lib/lean/Lake/Util/Task.olean
  506. lib/lean/Lake/Version.ilean
  507. lib/lean/Lake/Version.olean
  508. lib/lean/Lean.ilean
  509. lib/lean/Lean.olean
  510. lib/lean/Lean/Attributes.ilean
  511. lib/lean/Lean/Attributes.olean
  512. lib/lean/Lean/AuxRecursor.ilean
  513. lib/lean/Lean/AuxRecursor.olean
  514. lib/lean/Lean/Class.ilean
  515. lib/lean/Lean/Class.olean
  516. lib/lean/Lean/Compiler.ilean
  517. lib/lean/Lean/Compiler.olean
  518. lib/lean/Lean/Compiler/AtMostOnce.ilean
  519. lib/lean/Lean/Compiler/AtMostOnce.olean
  520. lib/lean/Lean/Compiler/BorrowedAnnotation.ilean
  521. lib/lean/Lean/Compiler/BorrowedAnnotation.olean
  522. lib/lean/Lean/Compiler/CSimpAttr.ilean
  523. lib/lean/Lean/Compiler/CSimpAttr.olean
  524. lib/lean/Lean/Compiler/ClosedTermCache.ilean
  525. lib/lean/Lean/Compiler/ClosedTermCache.olean
  526. lib/lean/Lean/Compiler/ConstFolding.ilean
  527. lib/lean/Lean/Compiler/ConstFolding.olean
  528. lib/lean/Lean/Compiler/ExportAttr.ilean
  529. lib/lean/Lean/Compiler/ExportAttr.olean
  530. lib/lean/Lean/Compiler/ExternAttr.ilean
  531. lib/lean/Lean/Compiler/ExternAttr.olean
  532. lib/lean/Lean/Compiler/FFI.ilean
  533. lib/lean/Lean/Compiler/FFI.olean
  534. lib/lean/Lean/Compiler/IR.ilean
  535. lib/lean/Lean/Compiler/IR.olean
  536. lib/lean/Lean/Compiler/IR/Basic.ilean
  537. lib/lean/Lean/Compiler/IR/Basic.olean
  538. lib/lean/Lean/Compiler/IR/Borrow.ilean
  539. lib/lean/Lean/Compiler/IR/Borrow.olean
  540. lib/lean/Lean/Compiler/IR/Boxing.ilean
  541. lib/lean/Lean/Compiler/IR/Boxing.olean
  542. lib/lean/Lean/Compiler/IR/Checker.ilean
  543. lib/lean/Lean/Compiler/IR/Checker.olean
  544. lib/lean/Lean/Compiler/IR/CompilerM.ilean
  545. lib/lean/Lean/Compiler/IR/CompilerM.olean
  546. lib/lean/Lean/Compiler/IR/CtorLayout.ilean
  547. lib/lean/Lean/Compiler/IR/CtorLayout.olean
  548. lib/lean/Lean/Compiler/IR/ElimDeadBranches.ilean
  549. lib/lean/Lean/Compiler/IR/ElimDeadBranches.olean
  550. lib/lean/Lean/Compiler/IR/ElimDeadVars.ilean
  551. lib/lean/Lean/Compiler/IR/ElimDeadVars.olean
  552. lib/lean/Lean/Compiler/IR/EmitC.ilean
  553. lib/lean/Lean/Compiler/IR/EmitC.olean
  554. lib/lean/Lean/Compiler/IR/EmitLLVM.ilean
  555. lib/lean/Lean/Compiler/IR/EmitLLVM.olean
  556. lib/lean/Lean/Compiler/IR/EmitUtil.ilean
  557. lib/lean/Lean/Compiler/IR/EmitUtil.olean
  558. lib/lean/Lean/Compiler/IR/ExpandResetReuse.ilean
  559. lib/lean/Lean/Compiler/IR/ExpandResetReuse.olean
  560. lib/lean/Lean/Compiler/IR/Format.ilean
  561. lib/lean/Lean/Compiler/IR/Format.olean
  562. lib/lean/Lean/Compiler/IR/FreeVars.ilean
  563. lib/lean/Lean/Compiler/IR/FreeVars.olean
  564. lib/lean/Lean/Compiler/IR/LLVMBindings.ilean
  565. lib/lean/Lean/Compiler/IR/LLVMBindings.olean
  566. lib/lean/Lean/Compiler/IR/LiveVars.ilean
  567. lib/lean/Lean/Compiler/IR/LiveVars.olean
  568. lib/lean/Lean/Compiler/IR/NormIds.ilean
  569. lib/lean/Lean/Compiler/IR/NormIds.olean
  570. lib/lean/Lean/Compiler/IR/PushProj.ilean
  571. lib/lean/Lean/Compiler/IR/PushProj.olean
  572. lib/lean/Lean/Compiler/IR/RC.ilean
  573. lib/lean/Lean/Compiler/IR/RC.olean
  574. lib/lean/Lean/Compiler/IR/ResetReuse.ilean
  575. lib/lean/Lean/Compiler/IR/ResetReuse.olean
  576. lib/lean/Lean/Compiler/IR/SimpCase.ilean
  577. lib/lean/Lean/Compiler/IR/SimpCase.olean
  578. lib/lean/Lean/Compiler/IR/Sorry.ilean
  579. lib/lean/Lean/Compiler/IR/Sorry.olean
  580. lib/lean/Lean/Compiler/IR/UnboxResult.ilean
  581. lib/lean/Lean/Compiler/IR/UnboxResult.olean
  582. lib/lean/Lean/Compiler/ImplementedByAttr.ilean
  583. lib/lean/Lean/Compiler/ImplementedByAttr.olean
  584. lib/lean/Lean/Compiler/InitAttr.ilean
  585. lib/lean/Lean/Compiler/InitAttr.olean
  586. lib/lean/Lean/Compiler/InlineAttrs.ilean
  587. lib/lean/Lean/Compiler/InlineAttrs.olean
  588. lib/lean/Lean/Compiler/LCNF.ilean
  589. lib/lean/Lean/Compiler/LCNF.olean
  590. lib/lean/Lean/Compiler/LCNF/AlphaEqv.ilean
  591. lib/lean/Lean/Compiler/LCNF/AlphaEqv.olean
  592. lib/lean/Lean/Compiler/LCNF/AuxDeclCache.ilean
  593. lib/lean/Lean/Compiler/LCNF/AuxDeclCache.olean
  594. lib/lean/Lean/Compiler/LCNF/BaseTypes.ilean
  595. lib/lean/Lean/Compiler/LCNF/BaseTypes.olean
  596. lib/lean/Lean/Compiler/LCNF/Basic.ilean
  597. lib/lean/Lean/Compiler/LCNF/Basic.olean
  598. lib/lean/Lean/Compiler/LCNF/Bind.ilean
  599. lib/lean/Lean/Compiler/LCNF/Bind.olean
  600. lib/lean/Lean/Compiler/LCNF/CSE.ilean
  601. lib/lean/Lean/Compiler/LCNF/CSE.olean
  602. lib/lean/Lean/Compiler/LCNF/Check.ilean
  603. lib/lean/Lean/Compiler/LCNF/Check.olean
  604. lib/lean/Lean/Compiler/LCNF/Closure.ilean
  605. lib/lean/Lean/Compiler/LCNF/Closure.olean
  606. lib/lean/Lean/Compiler/LCNF/CompatibleTypes.ilean
  607. lib/lean/Lean/Compiler/LCNF/CompatibleTypes.olean
  608. lib/lean/Lean/Compiler/LCNF/CompilerM.ilean
  609. lib/lean/Lean/Compiler/LCNF/CompilerM.olean
  610. lib/lean/Lean/Compiler/LCNF/ConfigOptions.ilean
  611. lib/lean/Lean/Compiler/LCNF/ConfigOptions.olean
  612. lib/lean/Lean/Compiler/LCNF/DeclHash.ilean
  613. lib/lean/Lean/Compiler/LCNF/DeclHash.olean
  614. lib/lean/Lean/Compiler/LCNF/DependsOn.ilean
  615. lib/lean/Lean/Compiler/LCNF/DependsOn.olean
  616. lib/lean/Lean/Compiler/LCNF/ElimDead.ilean
  617. lib/lean/Lean/Compiler/LCNF/ElimDead.olean
  618. lib/lean/Lean/Compiler/LCNF/ElimDeadBranches.ilean
  619. lib/lean/Lean/Compiler/LCNF/ElimDeadBranches.olean
  620. lib/lean/Lean/Compiler/LCNF/FVarUtil.ilean
  621. lib/lean/Lean/Compiler/LCNF/FVarUtil.olean
  622. lib/lean/Lean/Compiler/LCNF/FixedParams.ilean
  623. lib/lean/Lean/Compiler/LCNF/FixedParams.olean
  624. lib/lean/Lean/Compiler/LCNF/FloatLetIn.ilean
  625. lib/lean/Lean/Compiler/LCNF/FloatLetIn.olean
  626. lib/lean/Lean/Compiler/LCNF/ForEachExpr.ilean
  627. lib/lean/Lean/Compiler/LCNF/ForEachExpr.olean
  628. lib/lean/Lean/Compiler/LCNF/InferType.ilean
  629. lib/lean/Lean/Compiler/LCNF/InferType.olean
  630. lib/lean/Lean/Compiler/LCNF/Internalize.ilean
  631. lib/lean/Lean/Compiler/LCNF/Internalize.olean
  632. lib/lean/Lean/Compiler/LCNF/JoinPoints.ilean
  633. lib/lean/Lean/Compiler/LCNF/JoinPoints.olean
  634. lib/lean/Lean/Compiler/LCNF/LCtx.ilean
  635. lib/lean/Lean/Compiler/LCNF/LCtx.olean
  636. lib/lean/Lean/Compiler/LCNF/LambdaLifting.ilean
  637. lib/lean/Lean/Compiler/LCNF/LambdaLifting.olean
  638. lib/lean/Lean/Compiler/LCNF/Level.ilean
  639. lib/lean/Lean/Compiler/LCNF/Level.olean
  640. lib/lean/Lean/Compiler/LCNF/Main.ilean
  641. lib/lean/Lean/Compiler/LCNF/Main.olean
  642. lib/lean/Lean/Compiler/LCNF/MonadScope.ilean
  643. lib/lean/Lean/Compiler/LCNF/MonadScope.olean
  644. lib/lean/Lean/Compiler/LCNF/MonoTypes.ilean
  645. lib/lean/Lean/Compiler/LCNF/MonoTypes.olean
  646. lib/lean/Lean/Compiler/LCNF/OtherDecl.ilean
  647. lib/lean/Lean/Compiler/LCNF/OtherDecl.olean
  648. lib/lean/Lean/Compiler/LCNF/PassManager.ilean
  649. lib/lean/Lean/Compiler/LCNF/PassManager.olean
  650. lib/lean/Lean/Compiler/LCNF/Passes.ilean
  651. lib/lean/Lean/Compiler/LCNF/Passes.olean
  652. lib/lean/Lean/Compiler/LCNF/PhaseExt.ilean
  653. lib/lean/Lean/Compiler/LCNF/PhaseExt.olean
  654. lib/lean/Lean/Compiler/LCNF/PrettyPrinter.ilean
  655. lib/lean/Lean/Compiler/LCNF/PrettyPrinter.olean
  656. lib/lean/Lean/Compiler/LCNF/Probing.ilean
  657. lib/lean/Lean/Compiler/LCNF/Probing.olean
  658. lib/lean/Lean/Compiler/LCNF/PullFunDecls.ilean
  659. lib/lean/Lean/Compiler/LCNF/PullFunDecls.olean
  660. lib/lean/Lean/Compiler/LCNF/PullLetDecls.ilean
  661. lib/lean/Lean/Compiler/LCNF/PullLetDecls.olean
  662. lib/lean/Lean/Compiler/LCNF/ReduceArity.ilean
  663. lib/lean/Lean/Compiler/LCNF/ReduceArity.olean
  664. lib/lean/Lean/Compiler/LCNF/ReduceJpArity.ilean
  665. lib/lean/Lean/Compiler/LCNF/ReduceJpArity.olean
  666. lib/lean/Lean/Compiler/LCNF/Renaming.ilean
  667. lib/lean/Lean/Compiler/LCNF/Renaming.olean
  668. lib/lean/Lean/Compiler/LCNF/ScopeM.ilean
  669. lib/lean/Lean/Compiler/LCNF/ScopeM.olean
  670. lib/lean/Lean/Compiler/LCNF/Simp.ilean
  671. lib/lean/Lean/Compiler/LCNF/Simp.olean
  672. lib/lean/Lean/Compiler/LCNF/Simp/Basic.ilean
  673. lib/lean/Lean/Compiler/LCNF/Simp/Basic.olean
  674. lib/lean/Lean/Compiler/LCNF/Simp/Config.ilean
  675. lib/lean/Lean/Compiler/LCNF/Simp/Config.olean
  676. lib/lean/Lean/Compiler/LCNF/Simp/ConstantFold.ilean
  677. lib/lean/Lean/Compiler/LCNF/Simp/ConstantFold.olean
  678. lib/lean/Lean/Compiler/LCNF/Simp/DefaultAlt.ilean
  679. lib/lean/Lean/Compiler/LCNF/Simp/DefaultAlt.olean
  680. lib/lean/Lean/Compiler/LCNF/Simp/DiscrM.ilean
  681. lib/lean/Lean/Compiler/LCNF/Simp/DiscrM.olean
  682. lib/lean/Lean/Compiler/LCNF/Simp/FunDeclInfo.ilean
  683. lib/lean/Lean/Compiler/LCNF/Simp/FunDeclInfo.olean
  684. lib/lean/Lean/Compiler/LCNF/Simp/InlineCandidate.ilean
  685. lib/lean/Lean/Compiler/LCNF/Simp/InlineCandidate.olean
  686. lib/lean/Lean/Compiler/LCNF/Simp/InlineProj.ilean
  687. lib/lean/Lean/Compiler/LCNF/Simp/InlineProj.olean
  688. lib/lean/Lean/Compiler/LCNF/Simp/JpCases.ilean
  689. lib/lean/Lean/Compiler/LCNF/Simp/JpCases.olean
  690. lib/lean/Lean/Compiler/LCNF/Simp/Main.ilean
  691. lib/lean/Lean/Compiler/LCNF/Simp/Main.olean
  692. lib/lean/Lean/Compiler/LCNF/Simp/SimpM.ilean
  693. lib/lean/Lean/Compiler/LCNF/Simp/SimpM.olean
  694. lib/lean/Lean/Compiler/LCNF/Simp/SimpValue.ilean
  695. lib/lean/Lean/Compiler/LCNF/Simp/SimpValue.olean
  696. lib/lean/Lean/Compiler/LCNF/Simp/Used.ilean
  697. lib/lean/Lean/Compiler/LCNF/Simp/Used.olean
  698. lib/lean/Lean/Compiler/LCNF/SpecInfo.ilean
  699. lib/lean/Lean/Compiler/LCNF/SpecInfo.olean
  700. lib/lean/Lean/Compiler/LCNF/Specialize.ilean
  701. lib/lean/Lean/Compiler/LCNF/Specialize.olean
  702. lib/lean/Lean/Compiler/LCNF/Testing.ilean
  703. lib/lean/Lean/Compiler/LCNF/Testing.olean
  704. lib/lean/Lean/Compiler/LCNF/ToDecl.ilean
  705. lib/lean/Lean/Compiler/LCNF/ToDecl.olean
  706. lib/lean/Lean/Compiler/LCNF/ToExpr.ilean
  707. lib/lean/Lean/Compiler/LCNF/ToExpr.olean
  708. lib/lean/Lean/Compiler/LCNF/ToLCNF.ilean
  709. lib/lean/Lean/Compiler/LCNF/ToLCNF.olean
  710. lib/lean/Lean/Compiler/LCNF/ToMono.ilean
  711. lib/lean/Lean/Compiler/LCNF/ToMono.olean
  712. lib/lean/Lean/Compiler/LCNF/Types.ilean
  713. lib/lean/Lean/Compiler/LCNF/Types.olean
  714. lib/lean/Lean/Compiler/LCNF/Util.ilean
  715. lib/lean/Lean/Compiler/LCNF/Util.olean
  716. lib/lean/Lean/Compiler/Main.ilean
  717. lib/lean/Lean/Compiler/Main.olean
  718. lib/lean/Lean/Compiler/NameMangling.ilean
  719. lib/lean/Lean/Compiler/NameMangling.olean
  720. lib/lean/Lean/Compiler/NeverExtractAttr.ilean
  721. lib/lean/Lean/Compiler/NeverExtractAttr.olean
  722. lib/lean/Lean/Compiler/NoncomputableAttr.ilean
  723. lib/lean/Lean/Compiler/NoncomputableAttr.olean
  724. lib/lean/Lean/Compiler/Old.ilean
  725. lib/lean/Lean/Compiler/Old.olean
  726. lib/lean/Lean/Compiler/Options.ilean
  727. lib/lean/Lean/Compiler/Options.olean
  728. lib/lean/Lean/Compiler/Specialize.ilean
  729. lib/lean/Lean/Compiler/Specialize.olean
  730. lib/lean/Lean/CoreM.ilean
  731. lib/lean/Lean/CoreM.olean
  732. lib/lean/Lean/Data.ilean
  733. lib/lean/Lean/Data.olean
  734. lib/lean/Lean/Data/Array.ilean
  735. lib/lean/Lean/Data/Array.olean
  736. lib/lean/Lean/Data/AssocList.ilean
  737. lib/lean/Lean/Data/AssocList.olean
  738. lib/lean/Lean/Data/Format.ilean
  739. lib/lean/Lean/Data/Format.olean
  740. lib/lean/Lean/Data/FuzzyMatching.ilean
  741. lib/lean/Lean/Data/FuzzyMatching.olean
  742. lib/lean/Lean/Data/HashMap.ilean
  743. lib/lean/Lean/Data/HashMap.olean
  744. lib/lean/Lean/Data/HashSet.ilean
  745. lib/lean/Lean/Data/HashSet.olean
  746. lib/lean/Lean/Data/Json.ilean
  747. lib/lean/Lean/Data/Json.olean
  748. lib/lean/Lean/Data/Json/Basic.ilean
  749. lib/lean/Lean/Data/Json/Basic.olean
  750. lib/lean/Lean/Data/Json/Elab.ilean
  751. lib/lean/Lean/Data/Json/Elab.olean
  752. lib/lean/Lean/Data/Json/FromToJson.ilean
  753. lib/lean/Lean/Data/Json/FromToJson.olean
  754. lib/lean/Lean/Data/Json/Parser.ilean
  755. lib/lean/Lean/Data/Json/Parser.olean
  756. lib/lean/Lean/Data/Json/Printer.ilean
  757. lib/lean/Lean/Data/Json/Printer.olean
  758. lib/lean/Lean/Data/Json/Stream.ilean
  759. lib/lean/Lean/Data/Json/Stream.olean
  760. lib/lean/Lean/Data/JsonRpc.ilean
  761. lib/lean/Lean/Data/JsonRpc.olean
  762. lib/lean/Lean/Data/KVMap.ilean
  763. lib/lean/Lean/Data/KVMap.olean
  764. lib/lean/Lean/Data/LBool.ilean
  765. lib/lean/Lean/Data/LBool.olean
  766. lib/lean/Lean/Data/LOption.ilean
  767. lib/lean/Lean/Data/LOption.olean
  768. lib/lean/Lean/Data/Lsp.ilean
  769. lib/lean/Lean/Data/Lsp.olean
  770. lib/lean/Lean/Data/Lsp/Basic.ilean
  771. lib/lean/Lean/Data/Lsp/Basic.olean
  772. lib/lean/Lean/Data/Lsp/Capabilities.ilean
  773. lib/lean/Lean/Data/Lsp/Capabilities.olean
  774. lib/lean/Lean/Data/Lsp/Client.ilean
  775. lib/lean/Lean/Data/Lsp/Client.olean
  776. lib/lean/Lean/Data/Lsp/CodeActions.ilean
  777. lib/lean/Lean/Data/Lsp/CodeActions.olean
  778. lib/lean/Lean/Data/Lsp/Communication.ilean
  779. lib/lean/Lean/Data/Lsp/Communication.olean
  780. lib/lean/Lean/Data/Lsp/Diagnostics.ilean
  781. lib/lean/Lean/Data/Lsp/Diagnostics.olean
  782. lib/lean/Lean/Data/Lsp/Extra.ilean
  783. lib/lean/Lean/Data/Lsp/Extra.olean
  784. lib/lean/Lean/Data/Lsp/InitShutdown.ilean
  785. lib/lean/Lean/Data/Lsp/InitShutdown.olean
  786. lib/lean/Lean/Data/Lsp/Internal.ilean
  787. lib/lean/Lean/Data/Lsp/Internal.olean
  788. lib/lean/Lean/Data/Lsp/Ipc.ilean
  789. lib/lean/Lean/Data/Lsp/Ipc.olean
  790. lib/lean/Lean/Data/Lsp/LanguageFeatures.ilean
  791. lib/lean/Lean/Data/Lsp/LanguageFeatures.olean
  792. lib/lean/Lean/Data/Lsp/TextSync.ilean
  793. lib/lean/Lean/Data/Lsp/TextSync.olean
  794. lib/lean/Lean/Data/Lsp/Utf16.ilean
  795. lib/lean/Lean/Data/Lsp/Utf16.olean
  796. lib/lean/Lean/Data/Lsp/Workspace.ilean
  797. lib/lean/Lean/Data/Lsp/Workspace.olean
  798. lib/lean/Lean/Data/Name.ilean
  799. lib/lean/Lean/Data/Name.olean
  800. lib/lean/Lean/Data/NameMap.ilean
  801. lib/lean/Lean/Data/NameMap.olean
  802. lib/lean/Lean/Data/NameTrie.ilean
  803. lib/lean/Lean/Data/NameTrie.olean
  804. lib/lean/Lean/Data/OpenDecl.ilean
  805. lib/lean/Lean/Data/OpenDecl.olean
  806. lib/lean/Lean/Data/Options.ilean
  807. lib/lean/Lean/Data/Options.olean
  808. lib/lean/Lean/Data/Parsec.ilean
  809. lib/lean/Lean/Data/Parsec.olean
  810. lib/lean/Lean/Data/PersistentArray.ilean
  811. lib/lean/Lean/Data/PersistentArray.olean
  812. lib/lean/Lean/Data/PersistentHashMap.ilean
  813. lib/lean/Lean/Data/PersistentHashMap.olean
  814. lib/lean/Lean/Data/PersistentHashSet.ilean
  815. lib/lean/Lean/Data/PersistentHashSet.olean
  816. lib/lean/Lean/Data/Position.ilean
  817. lib/lean/Lean/Data/Position.olean
  818. lib/lean/Lean/Data/PrefixTree.ilean
  819. lib/lean/Lean/Data/PrefixTree.olean
  820. lib/lean/Lean/Data/RBMap.ilean
  821. lib/lean/Lean/Data/RBMap.olean
  822. lib/lean/Lean/Data/RBTree.ilean
  823. lib/lean/Lean/Data/RBTree.olean
  824. lib/lean/Lean/Data/Rat.ilean
  825. lib/lean/Lean/Data/Rat.olean
  826. lib/lean/Lean/Data/SMap.ilean
  827. lib/lean/Lean/Data/SMap.olean
  828. lib/lean/Lean/Data/SSet.ilean
  829. lib/lean/Lean/Data/SSet.olean
  830. lib/lean/Lean/Data/Trie.ilean
  831. lib/lean/Lean/Data/Trie.olean
  832. lib/lean/Lean/Data/Xml.ilean
  833. lib/lean/Lean/Data/Xml.olean
  834. lib/lean/Lean/Data/Xml/Basic.ilean
  835. lib/lean/Lean/Data/Xml/Basic.olean
  836. lib/lean/Lean/Data/Xml/Parser.ilean
  837. lib/lean/Lean/Data/Xml/Parser.olean
  838. lib/lean/Lean/Declaration.ilean
  839. lib/lean/Lean/Declaration.olean
  840. lib/lean/Lean/DeclarationRange.ilean
  841. lib/lean/Lean/DeclarationRange.olean
  842. lib/lean/Lean/DocString.ilean
  843. lib/lean/Lean/DocString.olean
  844. lib/lean/Lean/Elab.ilean
  845. lib/lean/Lean/Elab.olean
  846. lib/lean/Lean/Elab/App.ilean
  847. lib/lean/Lean/Elab/App.olean
  848. lib/lean/Lean/Elab/Arg.ilean
  849. lib/lean/Lean/Elab/Arg.olean
  850. lib/lean/Lean/Elab/Attributes.ilean
  851. lib/lean/Lean/Elab/Attributes.olean
  852. lib/lean/Lean/Elab/AutoBound.ilean
  853. lib/lean/Lean/Elab/AutoBound.olean
  854. lib/lean/Lean/Elab/AuxDef.ilean
  855. lib/lean/Lean/Elab/AuxDef.olean
  856. lib/lean/Lean/Elab/BinderPredicates.ilean
  857. lib/lean/Lean/Elab/BinderPredicates.olean
  858. lib/lean/Lean/Elab/Binders.ilean
  859. lib/lean/Lean/Elab/Binders.olean
  860. lib/lean/Lean/Elab/BindersUtil.ilean
  861. lib/lean/Lean/Elab/BindersUtil.olean
  862. lib/lean/Lean/Elab/BuiltinCommand.ilean
  863. lib/lean/Lean/Elab/BuiltinCommand.olean
  864. lib/lean/Lean/Elab/BuiltinNotation.ilean
  865. lib/lean/Lean/Elab/BuiltinNotation.olean
  866. lib/lean/Lean/Elab/BuiltinTerm.ilean
  867. lib/lean/Lean/Elab/BuiltinTerm.olean
  868. lib/lean/Lean/Elab/Calc.ilean
  869. lib/lean/Lean/Elab/Calc.olean
  870. lib/lean/Lean/Elab/CheckTactic.ilean
  871. lib/lean/Lean/Elab/CheckTactic.olean
  872. lib/lean/Lean/Elab/Command.ilean
  873. lib/lean/Lean/Elab/Command.olean
  874. lib/lean/Lean/Elab/ComputedFields.ilean
  875. lib/lean/Lean/Elab/ComputedFields.olean
  876. lib/lean/Lean/Elab/Config.ilean
  877. lib/lean/Lean/Elab/Config.olean
  878. lib/lean/Lean/Elab/DeclModifiers.ilean
  879. lib/lean/Lean/Elab/DeclModifiers.olean
  880. lib/lean/Lean/Elab/DeclUtil.ilean
  881. lib/lean/Lean/Elab/DeclUtil.olean
  882. lib/lean/Lean/Elab/Declaration.ilean
  883. lib/lean/Lean/Elab/Declaration.olean
  884. lib/lean/Lean/Elab/DeclarationRange.ilean
  885. lib/lean/Lean/Elab/DeclarationRange.olean
  886. lib/lean/Lean/Elab/DefView.ilean
  887. lib/lean/Lean/Elab/DefView.olean
  888. lib/lean/Lean/Elab/Deriving.ilean
  889. lib/lean/Lean/Elab/Deriving.olean
  890. lib/lean/Lean/Elab/Deriving/BEq.ilean
  891. lib/lean/Lean/Elab/Deriving/BEq.olean
  892. lib/lean/Lean/Elab/Deriving/Basic.ilean
  893. lib/lean/Lean/Elab/Deriving/Basic.olean
  894. lib/lean/Lean/Elab/Deriving/DecEq.ilean
  895. lib/lean/Lean/Elab/Deriving/DecEq.olean
  896. lib/lean/Lean/Elab/Deriving/FromToJson.ilean
  897. lib/lean/Lean/Elab/Deriving/FromToJson.olean
  898. lib/lean/Lean/Elab/Deriving/Hashable.ilean
  899. lib/lean/Lean/Elab/Deriving/Hashable.olean
  900. lib/lean/Lean/Elab/Deriving/Inhabited.ilean
  901. lib/lean/Lean/Elab/Deriving/Inhabited.olean
  902. lib/lean/Lean/Elab/Deriving/Nonempty.ilean
  903. lib/lean/Lean/Elab/Deriving/Nonempty.olean
  904. lib/lean/Lean/Elab/Deriving/Ord.ilean
  905. lib/lean/Lean/Elab/Deriving/Ord.olean
  906. lib/lean/Lean/Elab/Deriving/Repr.ilean
  907. lib/lean/Lean/Elab/Deriving/Repr.olean
  908. lib/lean/Lean/Elab/Deriving/SizeOf.ilean
  909. lib/lean/Lean/Elab/Deriving/SizeOf.olean
  910. lib/lean/Lean/Elab/Deriving/TypeName.ilean
  911. lib/lean/Lean/Elab/Deriving/TypeName.olean
  912. lib/lean/Lean/Elab/Deriving/Util.ilean
  913. lib/lean/Lean/Elab/Deriving/Util.olean
  914. lib/lean/Lean/Elab/Do.ilean
  915. lib/lean/Lean/Elab/Do.olean
  916. lib/lean/Lean/Elab/ElabRules.ilean
  917. lib/lean/Lean/Elab/ElabRules.olean
  918. lib/lean/Lean/Elab/Eval.ilean
  919. lib/lean/Lean/Elab/Eval.olean
  920. lib/lean/Lean/Elab/Exception.ilean
  921. lib/lean/Lean/Elab/Exception.olean
  922. lib/lean/Lean/Elab/Extra.ilean
  923. lib/lean/Lean/Elab/Extra.olean
  924. lib/lean/Lean/Elab/Frontend.ilean
  925. lib/lean/Lean/Elab/Frontend.olean
  926. lib/lean/Lean/Elab/GenInjective.ilean
  927. lib/lean/Lean/Elab/GenInjective.olean
  928. lib/lean/Lean/Elab/GuardMsgs.ilean
  929. lib/lean/Lean/Elab/GuardMsgs.olean
  930. lib/lean/Lean/Elab/Import.ilean
  931. lib/lean/Lean/Elab/Import.olean
  932. lib/lean/Lean/Elab/Inductive.ilean
  933. lib/lean/Lean/Elab/Inductive.olean
  934. lib/lean/Lean/Elab/InfoTree.ilean
  935. lib/lean/Lean/Elab/InfoTree.olean
  936. lib/lean/Lean/Elab/InfoTree/Main.ilean
  937. lib/lean/Lean/Elab/InfoTree/Main.olean
  938. lib/lean/Lean/Elab/InfoTree/Types.ilean
  939. lib/lean/Lean/Elab/InfoTree/Types.olean
  940. lib/lean/Lean/Elab/InheritDoc.ilean
  941. lib/lean/Lean/Elab/InheritDoc.olean
  942. lib/lean/Lean/Elab/LetRec.ilean
  943. lib/lean/Lean/Elab/LetRec.olean
  944. lib/lean/Lean/Elab/Level.ilean
  945. lib/lean/Lean/Elab/Level.olean
  946. lib/lean/Lean/Elab/Macro.ilean
  947. lib/lean/Lean/Elab/Macro.olean
  948. lib/lean/Lean/Elab/MacroArgUtil.ilean
  949. lib/lean/Lean/Elab/MacroArgUtil.olean
  950. lib/lean/Lean/Elab/MacroRules.ilean
  951. lib/lean/Lean/Elab/MacroRules.olean
  952. lib/lean/Lean/Elab/Match.ilean
  953. lib/lean/Lean/Elab/Match.olean
  954. lib/lean/Lean/Elab/MatchAltView.ilean
  955. lib/lean/Lean/Elab/MatchAltView.olean
  956. lib/lean/Lean/Elab/MatchExpr.ilean
  957. lib/lean/Lean/Elab/MatchExpr.olean
  958. lib/lean/Lean/Elab/Mixfix.ilean
  959. lib/lean/Lean/Elab/Mixfix.olean
  960. lib/lean/Lean/Elab/MutualDef.ilean
  961. lib/lean/Lean/Elab/MutualDef.olean
  962. lib/lean/Lean/Elab/Notation.ilean
  963. lib/lean/Lean/Elab/Notation.olean
  964. lib/lean/Lean/Elab/Open.ilean
  965. lib/lean/Lean/Elab/Open.olean
  966. lib/lean/Lean/Elab/ParseImportsFast.ilean
  967. lib/lean/Lean/Elab/ParseImportsFast.olean
  968. lib/lean/Lean/Elab/PatternVar.ilean
  969. lib/lean/Lean/Elab/PatternVar.olean
  970. lib/lean/Lean/Elab/PreDefinition.ilean
  971. lib/lean/Lean/Elab/PreDefinition.olean
  972. lib/lean/Lean/Elab/PreDefinition/Basic.ilean
  973. lib/lean/Lean/Elab/PreDefinition/Basic.olean
  974. lib/lean/Lean/Elab/PreDefinition/Eqns.ilean
  975. lib/lean/Lean/Elab/PreDefinition/Eqns.olean
  976. lib/lean/Lean/Elab/PreDefinition/Main.ilean
  977. lib/lean/Lean/Elab/PreDefinition/Main.olean
  978. lib/lean/Lean/Elab/PreDefinition/MkInhabitant.ilean
  979. lib/lean/Lean/Elab/PreDefinition/MkInhabitant.olean
  980. lib/lean/Lean/Elab/PreDefinition/Structural.ilean
  981. lib/lean/Lean/Elab/PreDefinition/Structural.olean
  982. lib/lean/Lean/Elab/PreDefinition/Structural/BRecOn.ilean
  983. lib/lean/Lean/Elab/PreDefinition/Structural/BRecOn.olean
  984. lib/lean/Lean/Elab/PreDefinition/Structural/Basic.ilean
  985. lib/lean/Lean/Elab/PreDefinition/Structural/Basic.olean
  986. lib/lean/Lean/Elab/PreDefinition/Structural/Eqns.ilean
  987. lib/lean/Lean/Elab/PreDefinition/Structural/Eqns.olean
  988. lib/lean/Lean/Elab/PreDefinition/Structural/FindRecArg.ilean
  989. lib/lean/Lean/Elab/PreDefinition/Structural/FindRecArg.olean
  990. lib/lean/Lean/Elab/PreDefinition/Structural/IndPred.ilean
  991. lib/lean/Lean/Elab/PreDefinition/Structural/IndPred.olean
  992. lib/lean/Lean/Elab/PreDefinition/Structural/Main.ilean
  993. lib/lean/Lean/Elab/PreDefinition/Structural/Main.olean
  994. lib/lean/Lean/Elab/PreDefinition/Structural/Preprocess.ilean
  995. lib/lean/Lean/Elab/PreDefinition/Structural/Preprocess.olean
  996. lib/lean/Lean/Elab/PreDefinition/Structural/SmartUnfolding.ilean
  997. lib/lean/Lean/Elab/PreDefinition/Structural/SmartUnfolding.olean
  998. lib/lean/Lean/Elab/PreDefinition/WF.ilean
  999. lib/lean/Lean/Elab/PreDefinition/WF.olean
  1000. lib/lean/Lean/Elab/PreDefinition/WF/Eqns.ilean
  1001. lib/lean/Lean/Elab/PreDefinition/WF/Eqns.olean
  1002. lib/lean/Lean/Elab/PreDefinition/WF/Fix.ilean
  1003. lib/lean/Lean/Elab/PreDefinition/WF/Fix.olean
  1004. lib/lean/Lean/Elab/PreDefinition/WF/GuessLex.ilean
  1005. lib/lean/Lean/Elab/PreDefinition/WF/GuessLex.olean
  1006. lib/lean/Lean/Elab/PreDefinition/WF/Ite.ilean
  1007. lib/lean/Lean/Elab/PreDefinition/WF/Ite.olean
  1008. lib/lean/Lean/Elab/PreDefinition/WF/Main.ilean
  1009. lib/lean/Lean/Elab/PreDefinition/WF/Main.olean
  1010. lib/lean/Lean/Elab/PreDefinition/WF/PackDomain.ilean
  1011. lib/lean/Lean/Elab/PreDefinition/WF/PackDomain.olean
  1012. lib/lean/Lean/Elab/PreDefinition/WF/PackMutual.ilean
  1013. lib/lean/Lean/Elab/PreDefinition/WF/PackMutual.olean
  1014. lib/lean/Lean/Elab/PreDefinition/WF/Preprocess.ilean
  1015. lib/lean/Lean/Elab/PreDefinition/WF/Preprocess.olean
  1016. lib/lean/Lean/Elab/PreDefinition/WF/Rel.ilean
  1017. lib/lean/Lean/Elab/PreDefinition/WF/Rel.olean
  1018. lib/lean/Lean/Elab/PreDefinition/WF/TerminationHint.ilean
  1019. lib/lean/Lean/Elab/PreDefinition/WF/TerminationHint.olean
  1020. lib/lean/Lean/Elab/Print.ilean
  1021. lib/lean/Lean/Elab/Print.olean
  1022. lib/lean/Lean/Elab/Quotation.ilean
  1023. lib/lean/Lean/Elab/Quotation.olean
  1024. lib/lean/Lean/Elab/Quotation/Precheck.ilean
  1025. lib/lean/Lean/Elab/Quotation/Precheck.olean
  1026. lib/lean/Lean/Elab/Quotation/Util.ilean
  1027. lib/lean/Lean/Elab/Quotation/Util.olean
  1028. lib/lean/Lean/Elab/RecAppSyntax.ilean
  1029. lib/lean/Lean/Elab/RecAppSyntax.olean
  1030. lib/lean/Lean/Elab/SetOption.ilean
  1031. lib/lean/Lean/Elab/SetOption.olean
  1032. lib/lean/Lean/Elab/StructInst.ilean
  1033. lib/lean/Lean/Elab/StructInst.olean
  1034. lib/lean/Lean/Elab/Structure.ilean
  1035. lib/lean/Lean/Elab/Structure.olean
  1036. lib/lean/Lean/Elab/Syntax.ilean
  1037. lib/lean/Lean/Elab/Syntax.olean
  1038. lib/lean/Lean/Elab/SyntheticMVars.ilean
  1039. lib/lean/Lean/Elab/SyntheticMVars.olean
  1040. lib/lean/Lean/Elab/Tactic.ilean
  1041. lib/lean/Lean/Elab/Tactic.olean
  1042. lib/lean/Lean/Elab/Tactic/Basic.ilean
  1043. lib/lean/Lean/Elab/Tactic/Basic.olean
  1044. lib/lean/Lean/Elab/Tactic/BuiltinTactic.ilean
  1045. lib/lean/Lean/Elab/Tactic/BuiltinTactic.olean
  1046. lib/lean/Lean/Elab/Tactic/Cache.ilean
  1047. lib/lean/Lean/Elab/Tactic/Cache.olean
  1048. lib/lean/Lean/Elab/Tactic/Calc.ilean
  1049. lib/lean/Lean/Elab/Tactic/Calc.olean
  1050. lib/lean/Lean/Elab/Tactic/Change.ilean
  1051. lib/lean/Lean/Elab/Tactic/Change.olean
  1052. lib/lean/Lean/Elab/Tactic/Config.ilean
  1053. lib/lean/Lean/Elab/Tactic/Config.olean
  1054. lib/lean/Lean/Elab/Tactic/Congr.ilean
  1055. lib/lean/Lean/Elab/Tactic/Congr.olean
  1056. lib/lean/Lean/Elab/Tactic/Conv.ilean
  1057. lib/lean/Lean/Elab/Tactic/Conv.olean
  1058. lib/lean/Lean/Elab/Tactic/Conv/Basic.ilean
  1059. lib/lean/Lean/Elab/Tactic/Conv/Basic.olean
  1060. lib/lean/Lean/Elab/Tactic/Conv/Change.ilean
  1061. lib/lean/Lean/Elab/Tactic/Conv/Change.olean
  1062. lib/lean/Lean/Elab/Tactic/Conv/Congr.ilean
  1063. lib/lean/Lean/Elab/Tactic/Conv/Congr.olean
  1064. lib/lean/Lean/Elab/Tactic/Conv/Delta.ilean
  1065. lib/lean/Lean/Elab/Tactic/Conv/Delta.olean
  1066. lib/lean/Lean/Elab/Tactic/Conv/Pattern.ilean
  1067. lib/lean/Lean/Elab/Tactic/Conv/Pattern.olean
  1068. lib/lean/Lean/Elab/Tactic/Conv/Rewrite.ilean
  1069. lib/lean/Lean/Elab/Tactic/Conv/Rewrite.olean
  1070. lib/lean/Lean/Elab/Tactic/Conv/Simp.ilean
  1071. lib/lean/Lean/Elab/Tactic/Conv/Simp.olean
  1072. lib/lean/Lean/Elab/Tactic/Conv/Unfold.ilean
  1073. lib/lean/Lean/Elab/Tactic/Conv/Unfold.olean
  1074. lib/lean/Lean/Elab/Tactic/Delta.ilean
  1075. lib/lean/Lean/Elab/Tactic/Delta.olean
  1076. lib/lean/Lean/Elab/Tactic/ElabTerm.ilean
  1077. lib/lean/Lean/Elab/Tactic/ElabTerm.olean
  1078. lib/lean/Lean/Elab/Tactic/Ext.ilean
  1079. lib/lean/Lean/Elab/Tactic/Ext.olean
  1080. lib/lean/Lean/Elab/Tactic/FalseOrByContra.ilean
  1081. lib/lean/Lean/Elab/Tactic/FalseOrByContra.olean
  1082. lib/lean/Lean/Elab/Tactic/Generalize.ilean
  1083. lib/lean/Lean/Elab/Tactic/Generalize.olean
  1084. lib/lean/Lean/Elab/Tactic/Guard.ilean
  1085. lib/lean/Lean/Elab/Tactic/Guard.olean
  1086. lib/lean/Lean/Elab/Tactic/Induction.ilean
  1087. lib/lean/Lean/Elab/Tactic/Induction.olean
  1088. lib/lean/Lean/Elab/Tactic/Injection.ilean
  1089. lib/lean/Lean/Elab/Tactic/Injection.olean
  1090. lib/lean/Lean/Elab/Tactic/LibrarySearch.ilean
  1091. lib/lean/Lean/Elab/Tactic/LibrarySearch.olean
  1092. lib/lean/Lean/Elab/Tactic/Location.ilean
  1093. lib/lean/Lean/Elab/Tactic/Location.olean
  1094. lib/lean/Lean/Elab/Tactic/Match.ilean
  1095. lib/lean/Lean/Elab/Tactic/Match.olean
  1096. lib/lean/Lean/Elab/Tactic/Meta.ilean
  1097. lib/lean/Lean/Elab/Tactic/Meta.olean
  1098. lib/lean/Lean/Elab/Tactic/NormCast.ilean
  1099. lib/lean/Lean/Elab/Tactic/NormCast.olean
  1100. lib/lean/Lean/Elab/Tactic/Omega.ilean
  1101. lib/lean/Lean/Elab/Tactic/Omega.olean
  1102. lib/lean/Lean/Elab/Tactic/Omega/Core.ilean
  1103. lib/lean/Lean/Elab/Tactic/Omega/Core.olean
  1104. lib/lean/Lean/Elab/Tactic/Omega/Frontend.ilean
  1105. lib/lean/Lean/Elab/Tactic/Omega/Frontend.olean
  1106. lib/lean/Lean/Elab/Tactic/Omega/MinNatAbs.ilean
  1107. lib/lean/Lean/Elab/Tactic/Omega/MinNatAbs.olean
  1108. lib/lean/Lean/Elab/Tactic/Omega/OmegaM.ilean
  1109. lib/lean/Lean/Elab/Tactic/Omega/OmegaM.olean
  1110. lib/lean/Lean/Elab/Tactic/RCases.ilean
  1111. lib/lean/Lean/Elab/Tactic/RCases.olean
  1112. lib/lean/Lean/Elab/Tactic/Repeat.ilean
  1113. lib/lean/Lean/Elab/Tactic/Repeat.olean
  1114. lib/lean/Lean/Elab/Tactic/Rewrite.ilean
  1115. lib/lean/Lean/Elab/Tactic/Rewrite.olean
  1116. lib/lean/Lean/Elab/Tactic/ShowTerm.ilean
  1117. lib/lean/Lean/Elab/Tactic/ShowTerm.olean
  1118. lib/lean/Lean/Elab/Tactic/Simp.ilean
  1119. lib/lean/Lean/Elab/Tactic/Simp.olean
  1120. lib/lean/Lean/Elab/Tactic/SimpTrace.ilean
  1121. lib/lean/Lean/Elab/Tactic/SimpTrace.olean
  1122. lib/lean/Lean/Elab/Tactic/Simpa.ilean
  1123. lib/lean/Lean/Elab/Tactic/Simpa.olean
  1124. lib/lean/Lean/Elab/Tactic/Simproc.ilean
  1125. lib/lean/Lean/Elab/Tactic/Simproc.olean
  1126. lib/lean/Lean/Elab/Tactic/SolveByElim.ilean
  1127. lib/lean/Lean/Elab/Tactic/SolveByElim.olean
  1128. lib/lean/Lean/Elab/Tactic/Split.ilean
  1129. lib/lean/Lean/Elab/Tactic/Split.olean
  1130. lib/lean/Lean/Elab/Tactic/Symm.ilean
  1131. lib/lean/Lean/Elab/Tactic/Symm.olean
  1132. lib/lean/Lean/Elab/Tactic/Unfold.ilean
  1133. lib/lean/Lean/Elab/Tactic/Unfold.olean
  1134. lib/lean/Lean/Elab/Term.ilean
  1135. lib/lean/Lean/Elab/Term.olean
  1136. lib/lean/Lean/Elab/Util.ilean
  1137. lib/lean/Lean/Elab/Util.olean
  1138. lib/lean/Lean/Environment.ilean
  1139. lib/lean/Lean/Environment.olean
  1140. lib/lean/Lean/Eval.ilean
  1141. lib/lean/Lean/Eval.olean
  1142. lib/lean/Lean/Exception.ilean
  1143. lib/lean/Lean/Exception.olean
  1144. lib/lean/Lean/Expr.ilean
  1145. lib/lean/Lean/Expr.olean
  1146. lib/lean/Lean/HeadIndex.ilean
  1147. lib/lean/Lean/HeadIndex.olean
  1148. lib/lean/Lean/Hygiene.ilean
  1149. lib/lean/Lean/Hygiene.olean
  1150. lib/lean/Lean/ImportingFlag.ilean
  1151. lib/lean/Lean/ImportingFlag.olean
  1152. lib/lean/Lean/InternalExceptionId.ilean
  1153. lib/lean/Lean/InternalExceptionId.olean
  1154. lib/lean/Lean/KeyedDeclsAttribute.ilean
  1155. lib/lean/Lean/KeyedDeclsAttribute.olean
  1156. lib/lean/Lean/LabelAttribute.ilean
  1157. lib/lean/Lean/LabelAttribute.olean
  1158. lib/lean/Lean/LazyInitExtension.ilean
  1159. lib/lean/Lean/LazyInitExtension.olean
  1160. lib/lean/Lean/Level.ilean
  1161. lib/lean/Lean/Level.olean
  1162. lib/lean/Lean/Linter.ilean
  1163. lib/lean/Lean/Linter.olean
  1164. lib/lean/Lean/Linter/Basic.ilean
  1165. lib/lean/Lean/Linter/Basic.olean
  1166. lib/lean/Lean/Linter/Builtin.ilean
  1167. lib/lean/Lean/Linter/Builtin.olean
  1168. lib/lean/Lean/Linter/Deprecated.ilean
  1169. lib/lean/Lean/Linter/Deprecated.olean
  1170. lib/lean/Lean/Linter/MissingDocs.ilean
  1171. lib/lean/Lean/Linter/MissingDocs.olean
  1172. lib/lean/Lean/Linter/UnusedVariables.ilean
  1173. lib/lean/Lean/Linter/UnusedVariables.olean
  1174. lib/lean/Lean/Linter/Util.ilean
  1175. lib/lean/Lean/Linter/Util.olean
  1176. lib/lean/Lean/LoadDynlib.ilean
  1177. lib/lean/Lean/LoadDynlib.olean
  1178. lib/lean/Lean/LocalContext.ilean
  1179. lib/lean/Lean/LocalContext.olean
  1180. lib/lean/Lean/Log.ilean
  1181. lib/lean/Lean/Log.olean
  1182. lib/lean/Lean/Message.ilean
  1183. lib/lean/Lean/Message.olean
  1184. lib/lean/Lean/Meta.ilean
  1185. lib/lean/Lean/Meta.olean
  1186. lib/lean/Lean/Meta/ACLt.ilean
  1187. lib/lean/Lean/Meta/ACLt.olean
  1188. lib/lean/Lean/Meta/AbstractMVars.ilean
  1189. lib/lean/Lean/Meta/AbstractMVars.olean
  1190. lib/lean/Lean/Meta/AbstractNestedProofs.ilean
  1191. lib/lean/Lean/Meta/AbstractNestedProofs.olean
  1192. lib/lean/Lean/Meta/AppBuilder.ilean
  1193. lib/lean/Lean/Meta/AppBuilder.olean
  1194. lib/lean/Lean/Meta/Basic.ilean
  1195. lib/lean/Lean/Meta/Basic.olean
  1196. lib/lean/Lean/Meta/Check.ilean
  1197. lib/lean/Lean/Meta/Check.olean
  1198. lib/lean/Lean/Meta/Closure.ilean
  1199. lib/lean/Lean/Meta/Closure.olean
  1200. lib/lean/Lean/Meta/Coe.ilean
  1201. lib/lean/Lean/Meta/Coe.olean
  1202. lib/lean/Lean/Meta/CoeAttr.ilean
  1203. lib/lean/Lean/Meta/CoeAttr.olean
  1204. lib/lean/Lean/Meta/CollectFVars.ilean
  1205. lib/lean/Lean/Meta/CollectFVars.olean
  1206. lib/lean/Lean/Meta/CollectMVars.ilean
  1207. lib/lean/Lean/Meta/CollectMVars.olean
  1208. lib/lean/Lean/Meta/CompletionName.ilean
  1209. lib/lean/Lean/Meta/CompletionName.olean
  1210. lib/lean/Lean/Meta/CongrTheorems.ilean
  1211. lib/lean/Lean/Meta/CongrTheorems.olean
  1212. lib/lean/Lean/Meta/Constructions.ilean
  1213. lib/lean/Lean/Meta/Constructions.olean
  1214. lib/lean/Lean/Meta/CtorRecognizer.ilean
  1215. lib/lean/Lean/Meta/CtorRecognizer.olean
  1216. lib/lean/Lean/Meta/DecLevel.ilean
  1217. lib/lean/Lean/Meta/DecLevel.olean
  1218. lib/lean/Lean/Meta/DiscrTree.ilean
  1219. lib/lean/Lean/Meta/DiscrTree.olean
  1220. lib/lean/Lean/Meta/DiscrTreeTypes.ilean
  1221. lib/lean/Lean/Meta/DiscrTreeTypes.olean
  1222. lib/lean/Lean/Meta/Eqns.ilean
  1223. lib/lean/Lean/Meta/Eqns.olean
  1224. lib/lean/Lean/Meta/Eval.ilean
  1225. lib/lean/Lean/Meta/Eval.olean
  1226. lib/lean/Lean/Meta/ExprDefEq.ilean
  1227. lib/lean/Lean/Meta/ExprDefEq.olean
  1228. lib/lean/Lean/Meta/ExprLens.ilean
  1229. lib/lean/Lean/Meta/ExprLens.olean
  1230. lib/lean/Lean/Meta/ExprTraverse.ilean
  1231. lib/lean/Lean/Meta/ExprTraverse.olean
  1232. lib/lean/Lean/Meta/ForEachExpr.ilean
  1233. lib/lean/Lean/Meta/ForEachExpr.olean
  1234. lib/lean/Lean/Meta/FunInfo.ilean
  1235. lib/lean/Lean/Meta/FunInfo.olean
  1236. lib/lean/Lean/Meta/GeneralizeTelescope.ilean
  1237. lib/lean/Lean/Meta/GeneralizeTelescope.olean
  1238. lib/lean/Lean/Meta/GeneralizeVars.ilean
  1239. lib/lean/Lean/Meta/GeneralizeVars.olean
  1240. lib/lean/Lean/Meta/GetUnfoldableConst.ilean
  1241. lib/lean/Lean/Meta/GetUnfoldableConst.olean
  1242. lib/lean/Lean/Meta/GlobalInstances.ilean
  1243. lib/lean/Lean/Meta/GlobalInstances.olean
  1244. lib/lean/Lean/Meta/IndPredBelow.ilean
  1245. lib/lean/Lean/Meta/IndPredBelow.olean
  1246. lib/lean/Lean/Meta/Inductive.ilean
  1247. lib/lean/Lean/Meta/Inductive.olean
  1248. lib/lean/Lean/Meta/InferType.ilean
  1249. lib/lean/Lean/Meta/InferType.olean
  1250. lib/lean/Lean/Meta/Injective.ilean
  1251. lib/lean/Lean/Meta/Injective.olean
  1252. lib/lean/Lean/Meta/Instances.ilean
  1253. lib/lean/Lean/Meta/Instances.olean
  1254. lib/lean/Lean/Meta/Iterator.ilean
  1255. lib/lean/Lean/Meta/Iterator.olean
  1256. lib/lean/Lean/Meta/KAbstract.ilean
  1257. lib/lean/Lean/Meta/KAbstract.olean
  1258. lib/lean/Lean/Meta/KExprMap.ilean
  1259. lib/lean/Lean/Meta/KExprMap.olean
  1260. lib/lean/Lean/Meta/LazyDiscrTree.ilean
  1261. lib/lean/Lean/Meta/LazyDiscrTree.olean
  1262. lib/lean/Lean/Meta/LevelDefEq.ilean
  1263. lib/lean/Lean/Meta/LevelDefEq.olean
  1264. lib/lean/Lean/Meta/LitValues.ilean
  1265. lib/lean/Lean/Meta/LitValues.olean
  1266. lib/lean/Lean/Meta/Match.ilean
  1267. lib/lean/Lean/Meta/Match.olean
  1268. lib/lean/Lean/Meta/Match/Basic.ilean
  1269. lib/lean/Lean/Meta/Match/Basic.olean
  1270. lib/lean/Lean/Meta/Match/CaseArraySizes.ilean
  1271. lib/lean/Lean/Meta/Match/CaseArraySizes.olean
  1272. lib/lean/Lean/Meta/Match/CaseValues.ilean
  1273. lib/lean/Lean/Meta/Match/CaseValues.olean
  1274. lib/lean/Lean/Meta/Match/MVarRenaming.ilean
  1275. lib/lean/Lean/Meta/Match/MVarRenaming.olean
  1276. lib/lean/Lean/Meta/Match/Match.ilean
  1277. lib/lean/Lean/Meta/Match/Match.olean
  1278. lib/lean/Lean/Meta/Match/MatchEqs.ilean
  1279. lib/lean/Lean/Meta/Match/MatchEqs.olean
  1280. lib/lean/Lean/Meta/Match/MatchEqsExt.ilean
  1281. lib/lean/Lean/Meta/Match/MatchEqsExt.olean
  1282. lib/lean/Lean/Meta/Match/MatchPatternAttr.ilean
  1283. lib/lean/Lean/Meta/Match/MatchPatternAttr.olean
  1284. lib/lean/Lean/Meta/Match/MatcherApp.ilean
  1285. lib/lean/Lean/Meta/Match/MatcherApp.olean
  1286. lib/lean/Lean/Meta/Match/MatcherApp/Basic.ilean
  1287. lib/lean/Lean/Meta/Match/MatcherApp/Basic.olean
  1288. lib/lean/Lean/Meta/Match/MatcherApp/Transform.ilean
  1289. lib/lean/Lean/Meta/Match/MatcherApp/Transform.olean
  1290. lib/lean/Lean/Meta/Match/MatcherInfo.ilean
  1291. lib/lean/Lean/Meta/Match/MatcherInfo.olean
  1292. lib/lean/Lean/Meta/Match/Value.ilean
  1293. lib/lean/Lean/Meta/Match/Value.olean
  1294. lib/lean/Lean/Meta/MatchUtil.ilean
  1295. lib/lean/Lean/Meta/MatchUtil.olean
  1296. lib/lean/Lean/Meta/Offset.ilean
  1297. lib/lean/Lean/Meta/Offset.olean
  1298. lib/lean/Lean/Meta/PPGoal.ilean
  1299. lib/lean/Lean/Meta/PPGoal.olean
  1300. lib/lean/Lean/Meta/RecursorInfo.ilean
  1301. lib/lean/Lean/Meta/RecursorInfo.olean
  1302. lib/lean/Lean/Meta/Reduce.ilean
  1303. lib/lean/Lean/Meta/Reduce.olean
  1304. lib/lean/Lean/Meta/ReduceEval.ilean
  1305. lib/lean/Lean/Meta/ReduceEval.olean
  1306. lib/lean/Lean/Meta/SizeOf.ilean
  1307. lib/lean/Lean/Meta/SizeOf.olean
  1308. lib/lean/Lean/Meta/Structure.ilean
  1309. lib/lean/Lean/Meta/Structure.olean
  1310. lib/lean/Lean/Meta/SynthInstance.ilean
  1311. lib/lean/Lean/Meta/SynthInstance.olean
  1312. lib/lean/Lean/Meta/Tactic.ilean
  1313. lib/lean/Lean/Meta/Tactic.olean
  1314. lib/lean/Lean/Meta/Tactic/AC.ilean
  1315. lib/lean/Lean/Meta/Tactic/AC.olean
  1316. lib/lean/Lean/Meta/Tactic/AC/Main.ilean
  1317. lib/lean/Lean/Meta/Tactic/AC/Main.olean
  1318. lib/lean/Lean/Meta/Tactic/Acyclic.ilean
  1319. lib/lean/Lean/Meta/Tactic/Acyclic.olean
  1320. lib/lean/Lean/Meta/Tactic/Apply.ilean
  1321. lib/lean/Lean/Meta/Tactic/Apply.olean
  1322. lib/lean/Lean/Meta/Tactic/Assert.ilean
  1323. lib/lean/Lean/Meta/Tactic/Assert.olean
  1324. lib/lean/Lean/Meta/Tactic/Assumption.ilean
  1325. lib/lean/Lean/Meta/Tactic/Assumption.olean
  1326. lib/lean/Lean/Meta/Tactic/AuxLemma.ilean
  1327. lib/lean/Lean/Meta/Tactic/AuxLemma.olean
  1328. lib/lean/Lean/Meta/Tactic/Backtrack.ilean
  1329. lib/lean/Lean/Meta/Tactic/Backtrack.olean
  1330. lib/lean/Lean/Meta/Tactic/Cases.ilean
  1331. lib/lean/Lean/Meta/Tactic/Cases.olean
  1332. lib/lean/Lean/Meta/Tactic/Cleanup.ilean
  1333. lib/lean/Lean/Meta/Tactic/Cleanup.olean
  1334. lib/lean/Lean/Meta/Tactic/Clear.ilean
  1335. lib/lean/Lean/Meta/Tactic/Clear.olean
  1336. lib/lean/Lean/Meta/Tactic/Congr.ilean
  1337. lib/lean/Lean/Meta/Tactic/Congr.olean
  1338. lib/lean/Lean/Meta/Tactic/Constructor.ilean
  1339. lib/lean/Lean/Meta/Tactic/Constructor.olean
  1340. lib/lean/Lean/Meta/Tactic/Contradiction.ilean
  1341. lib/lean/Lean/Meta/Tactic/Contradiction.olean
  1342. lib/lean/Lean/Meta/Tactic/Delta.ilean
  1343. lib/lean/Lean/Meta/Tactic/Delta.olean
  1344. lib/lean/Lean/Meta/Tactic/ElimInfo.ilean
  1345. lib/lean/Lean/Meta/Tactic/ElimInfo.olean
  1346. lib/lean/Lean/Meta/Tactic/FVarSubst.ilean
  1347. lib/lean/Lean/Meta/Tactic/FVarSubst.olean
  1348. lib/lean/Lean/Meta/Tactic/Generalize.ilean
  1349. lib/lean/Lean/Meta/Tactic/Generalize.olean
  1350. lib/lean/Lean/Meta/Tactic/IndependentOf.ilean
  1351. lib/lean/Lean/Meta/Tactic/IndependentOf.olean
  1352. lib/lean/Lean/Meta/Tactic/Induction.ilean
  1353. lib/lean/Lean/Meta/Tactic/Induction.olean
  1354. lib/lean/Lean/Meta/Tactic/Injection.ilean
  1355. lib/lean/Lean/Meta/Tactic/Injection.olean
  1356. lib/lean/Lean/Meta/Tactic/Intro.ilean
  1357. lib/lean/Lean/Meta/Tactic/Intro.olean
  1358. lib/lean/Lean/Meta/Tactic/LibrarySearch.ilean
  1359. lib/lean/Lean/Meta/Tactic/LibrarySearch.olean
  1360. lib/lean/Lean/Meta/Tactic/LinearArith.ilean
  1361. lib/lean/Lean/Meta/Tactic/LinearArith.olean
  1362. lib/lean/Lean/Meta/Tactic/LinearArith/Basic.ilean
  1363. lib/lean/Lean/Meta/Tactic/LinearArith/Basic.olean
  1364. lib/lean/Lean/Meta/Tactic/LinearArith/Main.ilean
  1365. lib/lean/Lean/Meta/Tactic/LinearArith/Main.olean
  1366. lib/lean/Lean/Meta/Tactic/LinearArith/Nat.ilean
  1367. lib/lean/Lean/Meta/Tactic/LinearArith/Nat.olean
  1368. lib/lean/Lean/Meta/Tactic/LinearArith/Nat/Basic.ilean
  1369. lib/lean/Lean/Meta/Tactic/LinearArith/Nat/Basic.olean
  1370. lib/lean/Lean/Meta/Tactic/LinearArith/Nat/Simp.ilean
  1371. lib/lean/Lean/Meta/Tactic/LinearArith/Nat/Simp.olean
  1372. lib/lean/Lean/Meta/Tactic/LinearArith/Nat/Solver.ilean
  1373. lib/lean/Lean/Meta/Tactic/LinearArith/Nat/Solver.olean
  1374. lib/lean/Lean/Meta/Tactic/LinearArith/Simp.ilean
  1375. lib/lean/Lean/Meta/Tactic/LinearArith/Simp.olean
  1376. lib/lean/Lean/Meta/Tactic/LinearArith/Solver.ilean
  1377. lib/lean/Lean/Meta/Tactic/LinearArith/Solver.olean
  1378. lib/lean/Lean/Meta/Tactic/NormCast.ilean
  1379. lib/lean/Lean/Meta/Tactic/NormCast.olean
  1380. lib/lean/Lean/Meta/Tactic/Refl.ilean
  1381. lib/lean/Lean/Meta/Tactic/Refl.olean
  1382. lib/lean/Lean/Meta/Tactic/Rename.ilean
  1383. lib/lean/Lean/Meta/Tactic/Rename.olean
  1384. lib/lean/Lean/Meta/Tactic/Repeat.ilean
  1385. lib/lean/Lean/Meta/Tactic/Repeat.olean
  1386. lib/lean/Lean/Meta/Tactic/Replace.ilean
  1387. lib/lean/Lean/Meta/Tactic/Replace.olean
  1388. lib/lean/Lean/Meta/Tactic/Revert.ilean
  1389. lib/lean/Lean/Meta/Tactic/Revert.olean
  1390. lib/lean/Lean/Meta/Tactic/Rewrite.ilean
  1391. lib/lean/Lean/Meta/Tactic/Rewrite.olean
  1392. lib/lean/Lean/Meta/Tactic/Simp.ilean
  1393. lib/lean/Lean/Meta/Tactic/Simp.olean
  1394. lib/lean/Lean/Meta/Tactic/Simp/Attr.ilean
  1395. lib/lean/Lean/Meta/Tactic/Simp/Attr.olean
  1396. lib/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs.ilean
  1397. lib/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs.olean
  1398. lib/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs/BitVec.ilean
  1399. lib/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs/BitVec.olean
  1400. lib/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Char.ilean
  1401. lib/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Char.olean
  1402. lib/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Core.ilean
  1403. lib/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Core.olean
  1404. lib/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Fin.ilean
  1405. lib/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Fin.olean
  1406. lib/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Int.ilean
  1407. lib/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Int.olean
  1408. lib/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Nat.ilean
  1409. lib/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Nat.olean
  1410. lib/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs/String.ilean
  1411. lib/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs/String.olean
  1412. lib/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs/UInt.ilean
  1413. lib/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs/UInt.olean
  1414. lib/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Util.ilean
  1415. lib/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Util.olean
  1416. lib/lean/Lean/Meta/Tactic/Simp/Main.ilean
  1417. lib/lean/Lean/Meta/Tactic/Simp/Main.olean
  1418. lib/lean/Lean/Meta/Tactic/Simp/RegisterCommand.ilean
  1419. lib/lean/Lean/Meta/Tactic/Simp/RegisterCommand.olean
  1420. lib/lean/Lean/Meta/Tactic/Simp/Rewrite.ilean
  1421. lib/lean/Lean/Meta/Tactic/Simp/Rewrite.olean
  1422. lib/lean/Lean/Meta/Tactic/Simp/SimpAll.ilean
  1423. lib/lean/Lean/Meta/Tactic/Simp/SimpAll.olean
  1424. lib/lean/Lean/Meta/Tactic/Simp/SimpCongrTheorems.ilean
  1425. lib/lean/Lean/Meta/Tactic/Simp/SimpCongrTheorems.olean
  1426. lib/lean/Lean/Meta/Tactic/Simp/SimpTheorems.ilean
  1427. lib/lean/Lean/Meta/Tactic/Simp/SimpTheorems.olean
  1428. lib/lean/Lean/Meta/Tactic/Simp/Simproc.ilean
  1429. lib/lean/Lean/Meta/Tactic/Simp/Simproc.olean
  1430. lib/lean/Lean/Meta/Tactic/Simp/Types.ilean
  1431. lib/lean/Lean/Meta/Tactic/Simp/Types.olean
  1432. lib/lean/Lean/Meta/Tactic/SolveByElim.ilean
  1433. lib/lean/Lean/Meta/Tactic/SolveByElim.olean
  1434. lib/lean/Lean/Meta/Tactic/Split.ilean
  1435. lib/lean/Lean/Meta/Tactic/Split.olean
  1436. lib/lean/Lean/Meta/Tactic/SplitIf.ilean
  1437. lib/lean/Lean/Meta/Tactic/SplitIf.olean
  1438. lib/lean/Lean/Meta/Tactic/Subst.ilean
  1439. lib/lean/Lean/Meta/Tactic/Subst.olean
  1440. lib/lean/Lean/Meta/Tactic/Symm.ilean
  1441. lib/lean/Lean/Meta/Tactic/Symm.olean
  1442. lib/lean/Lean/Meta/Tactic/TryThis.ilean
  1443. lib/lean/Lean/Meta/Tactic/TryThis.olean
  1444. lib/lean/Lean/Meta/Tactic/Unfold.ilean
  1445. lib/lean/Lean/Meta/Tactic/Unfold.olean
  1446. lib/lean/Lean/Meta/Tactic/UnifyEq.ilean
  1447. lib/lean/Lean/Meta/Tactic/UnifyEq.olean
  1448. lib/lean/Lean/Meta/Tactic/Util.ilean
  1449. lib/lean/Lean/Meta/Tactic/Util.olean
  1450. lib/lean/Lean/Meta/Transform.ilean
  1451. lib/lean/Lean/Meta/Transform.olean
  1452. lib/lean/Lean/Meta/TransparencyMode.ilean
  1453. lib/lean/Lean/Meta/TransparencyMode.olean
  1454. lib/lean/Lean/Meta/UnificationHint.ilean
  1455. lib/lean/Lean/Meta/UnificationHint.olean
  1456. lib/lean/Lean/Meta/WHNF.ilean
  1457. lib/lean/Lean/Meta/WHNF.olean
  1458. lib/lean/Lean/MetavarContext.ilean
  1459. lib/lean/Lean/MetavarContext.olean
  1460. lib/lean/Lean/Modifiers.ilean
  1461. lib/lean/Lean/Modifiers.olean
  1462. lib/lean/Lean/MonadEnv.ilean
  1463. lib/lean/Lean/MonadEnv.olean
  1464. lib/lean/Lean/Parser.ilean
  1465. lib/lean/Lean/Parser.olean
  1466. lib/lean/Lean/Parser/Attr.ilean
  1467. lib/lean/Lean/Parser/Attr.olean
  1468. lib/lean/Lean/Parser/Basic.ilean
  1469. lib/lean/Lean/Parser/Basic.olean
  1470. lib/lean/Lean/Parser/Command.ilean
  1471. lib/lean/Lean/Parser/Command.olean
  1472. lib/lean/Lean/Parser/Do.ilean
  1473. lib/lean/Lean/Parser/Do.olean
  1474. lib/lean/Lean/Parser/Extension.ilean
  1475. lib/lean/Lean/Parser/Extension.olean
  1476. lib/lean/Lean/Parser/Extra.ilean
  1477. lib/lean/Lean/Parser/Extra.olean
  1478. lib/lean/Lean/Parser/Level.ilean
  1479. lib/lean/Lean/Parser/Level.olean
  1480. lib/lean/Lean/Parser/Module.ilean
  1481. lib/lean/Lean/Parser/Module.olean
  1482. lib/lean/Lean/Parser/StrInterpolation.ilean
  1483. lib/lean/Lean/Parser/StrInterpolation.olean
  1484. lib/lean/Lean/Parser/Syntax.ilean
  1485. lib/lean/Lean/Parser/Syntax.olean
  1486. lib/lean/Lean/Parser/Tactic.ilean
  1487. lib/lean/Lean/Parser/Tactic.olean
  1488. lib/lean/Lean/Parser/Term.ilean
  1489. lib/lean/Lean/Parser/Term.olean
  1490. lib/lean/Lean/Parser/Types.ilean
  1491. lib/lean/Lean/Parser/Types.olean
  1492. lib/lean/Lean/ParserCompiler.ilean
  1493. lib/lean/Lean/ParserCompiler.olean
  1494. lib/lean/Lean/ParserCompiler/Attribute.ilean
  1495. lib/lean/Lean/ParserCompiler/Attribute.olean
  1496. lib/lean/Lean/PrettyPrinter.ilean
  1497. lib/lean/Lean/PrettyPrinter.olean
  1498. lib/lean/Lean/PrettyPrinter/Basic.ilean
  1499. lib/lean/Lean/PrettyPrinter/Basic.olean
  1500. lib/lean/Lean/PrettyPrinter/Delaborator.ilean
  1501. lib/lean/Lean/PrettyPrinter/Delaborator.olean
  1502. lib/lean/Lean/PrettyPrinter/Delaborator/Basic.ilean
  1503. lib/lean/Lean/PrettyPrinter/Delaborator/Basic.olean
  1504. lib/lean/Lean/PrettyPrinter/Delaborator/Builtins.ilean
  1505. lib/lean/Lean/PrettyPrinter/Delaborator/Builtins.olean
  1506. lib/lean/Lean/PrettyPrinter/Delaborator/Options.ilean
  1507. lib/lean/Lean/PrettyPrinter/Delaborator/Options.olean
  1508. lib/lean/Lean/PrettyPrinter/Delaborator/SubExpr.ilean
  1509. lib/lean/Lean/PrettyPrinter/Delaborator/SubExpr.olean
  1510. lib/lean/Lean/PrettyPrinter/Delaborator/TopDownAnalyze.ilean
  1511. lib/lean/Lean/PrettyPrinter/Delaborator/TopDownAnalyze.olean
  1512. lib/lean/Lean/PrettyPrinter/Formatter.ilean
  1513. lib/lean/Lean/PrettyPrinter/Formatter.olean
  1514. lib/lean/Lean/PrettyPrinter/Parenthesizer.ilean
  1515. lib/lean/Lean/PrettyPrinter/Parenthesizer.olean
  1516. lib/lean/Lean/ProjFns.ilean
  1517. lib/lean/Lean/ProjFns.olean
  1518. lib/lean/Lean/ReducibilityAttrs.ilean
  1519. lib/lean/Lean/ReducibilityAttrs.olean
  1520. lib/lean/Lean/Replay.ilean
  1521. lib/lean/Lean/Replay.olean
  1522. lib/lean/Lean/ResolveName.ilean
  1523. lib/lean/Lean/ResolveName.olean
  1524. lib/lean/Lean/Runtime.ilean
  1525. lib/lean/Lean/Runtime.olean
  1526. lib/lean/Lean/ScopedEnvExtension.ilean
  1527. lib/lean/Lean/ScopedEnvExtension.olean
  1528. lib/lean/Lean/Server.ilean
  1529. lib/lean/Lean/Server.olean
  1530. lib/lean/Lean/Server/AsyncList.ilean
  1531. lib/lean/Lean/Server/AsyncList.olean
  1532. lib/lean/Lean/Server/CodeActions.ilean
  1533. lib/lean/Lean/Server/CodeActions.olean
  1534. lib/lean/Lean/Server/CodeActions/Attr.ilean
  1535. lib/lean/Lean/Server/CodeActions/Attr.olean
  1536. lib/lean/Lean/Server/CodeActions/Basic.ilean
  1537. lib/lean/Lean/Server/CodeActions/Basic.olean
  1538. lib/lean/Lean/Server/CodeActions/Provider.ilean
  1539. lib/lean/Lean/Server/CodeActions/Provider.olean
  1540. lib/lean/Lean/Server/Completion.ilean
  1541. lib/lean/Lean/Server/Completion.olean
  1542. lib/lean/Lean/Server/CompletionItemData.ilean
  1543. lib/lean/Lean/Server/CompletionItemData.olean
  1544. lib/lean/Lean/Server/FileSource.ilean
  1545. lib/lean/Lean/Server/FileSource.olean
  1546. lib/lean/Lean/Server/FileWorker.ilean
  1547. lib/lean/Lean/Server/FileWorker.olean
  1548. lib/lean/Lean/Server/FileWorker/RequestHandling.ilean
  1549. lib/lean/Lean/Server/FileWorker/RequestHandling.olean
  1550. lib/lean/Lean/Server/FileWorker/SetupFile.ilean
  1551. lib/lean/Lean/Server/FileWorker/SetupFile.olean
  1552. lib/lean/Lean/Server/FileWorker/Utils.ilean
  1553. lib/lean/Lean/Server/FileWorker/Utils.olean
  1554. lib/lean/Lean/Server/FileWorker/WidgetRequests.ilean
  1555. lib/lean/Lean/Server/FileWorker/WidgetRequests.olean
  1556. lib/lean/Lean/Server/GoTo.ilean
  1557. lib/lean/Lean/Server/GoTo.olean
  1558. lib/lean/Lean/Server/ImportCompletion.ilean
  1559. lib/lean/Lean/Server/ImportCompletion.olean
  1560. lib/lean/Lean/Server/InfoUtils.ilean
  1561. lib/lean/Lean/Server/InfoUtils.olean
  1562. lib/lean/Lean/Server/References.ilean
  1563. lib/lean/Lean/Server/References.olean
  1564. lib/lean/Lean/Server/Requests.ilean
  1565. lib/lean/Lean/Server/Requests.olean
  1566. lib/lean/Lean/Server/Rpc.ilean
  1567. lib/lean/Lean/Server/Rpc.olean
  1568. lib/lean/Lean/Server/Rpc/Basic.ilean
  1569. lib/lean/Lean/Server/Rpc/Basic.olean
  1570. lib/lean/Lean/Server/Rpc/Deriving.ilean
  1571. lib/lean/Lean/Server/Rpc/Deriving.olean
  1572. lib/lean/Lean/Server/Rpc/RequestHandling.ilean
  1573. lib/lean/Lean/Server/Rpc/RequestHandling.olean
  1574. lib/lean/Lean/Server/Snapshots.ilean
  1575. lib/lean/Lean/Server/Snapshots.olean
  1576. lib/lean/Lean/Server/Utils.ilean
  1577. lib/lean/Lean/Server/Utils.olean
  1578. lib/lean/Lean/Server/Watchdog.ilean
  1579. lib/lean/Lean/Server/Watchdog.olean
  1580. lib/lean/Lean/Structure.ilean
  1581. lib/lean/Lean/Structure.olean
  1582. lib/lean/Lean/SubExpr.ilean
  1583. lib/lean/Lean/SubExpr.olean
  1584. lib/lean/Lean/Syntax.ilean
  1585. lib/lean/Lean/Syntax.olean
  1586. lib/lean/Lean/ToExpr.ilean
  1587. lib/lean/Lean/ToExpr.olean
  1588. lib/lean/Lean/Util.ilean
  1589. lib/lean/Lean/Util.olean
  1590. lib/lean/Lean/Util/CollectFVars.ilean
  1591. lib/lean/Lean/Util/CollectFVars.olean
  1592. lib/lean/Lean/Util/CollectLevelParams.ilean
  1593. lib/lean/Lean/Util/CollectLevelParams.olean
  1594. lib/lean/Lean/Util/CollectMVars.ilean
  1595. lib/lean/Lean/Util/CollectMVars.olean
  1596. lib/lean/Lean/Util/FileSetupInfo.ilean
  1597. lib/lean/Lean/Util/FileSetupInfo.olean
  1598. lib/lean/Lean/Util/FindExpr.ilean
  1599. lib/lean/Lean/Util/FindExpr.olean
  1600. lib/lean/Lean/Util/FindLevelMVar.ilean
  1601. lib/lean/Lean/Util/FindLevelMVar.olean
  1602. lib/lean/Lean/Util/FindMVar.ilean
  1603. lib/lean/Lean/Util/FindMVar.olean
  1604. lib/lean/Lean/Util/FoldConsts.ilean
  1605. lib/lean/Lean/Util/FoldConsts.olean
  1606. lib/lean/Lean/Util/ForEachExpr.ilean
  1607. lib/lean/Lean/Util/ForEachExpr.olean
  1608. lib/lean/Lean/Util/ForEachExprWhere.ilean
  1609. lib/lean/Lean/Util/ForEachExprWhere.olean
  1610. lib/lean/Lean/Util/HasConstCache.ilean
  1611. lib/lean/Lean/Util/HasConstCache.olean
  1612. lib/lean/Lean/Util/Heartbeats.ilean
  1613. lib/lean/Lean/Util/Heartbeats.olean
  1614. lib/lean/Lean/Util/InstantiateLevelParams.ilean
  1615. lib/lean/Lean/Util/InstantiateLevelParams.olean
  1616. lib/lean/Lean/Util/LakePath.ilean
  1617. lib/lean/Lean/Util/LakePath.olean
  1618. lib/lean/Lean/Util/LeanOptions.ilean
  1619. lib/lean/Lean/Util/LeanOptions.olean
  1620. lib/lean/Lean/Util/MonadBacktrack.ilean
  1621. lib/lean/Lean/Util/MonadBacktrack.olean
  1622. lib/lean/Lean/Util/MonadCache.ilean
  1623. lib/lean/Lean/Util/MonadCache.olean
  1624. lib/lean/Lean/Util/OccursCheck.ilean
  1625. lib/lean/Lean/Util/OccursCheck.olean
  1626. lib/lean/Lean/Util/PPExt.ilean
  1627. lib/lean/Lean/Util/PPExt.olean
  1628. lib/lean/Lean/Util/Path.ilean
  1629. lib/lean/Lean/Util/Path.olean
  1630. lib/lean/Lean/Util/Paths.ilean
  1631. lib/lean/Lean/Util/Paths.olean
  1632. lib/lean/Lean/Util/Profile.ilean
  1633. lib/lean/Lean/Util/Profile.olean
  1634. lib/lean/Lean/Util/PtrSet.ilean
  1635. lib/lean/Lean/Util/PtrSet.olean
  1636. lib/lean/Lean/Util/RecDepth.ilean
  1637. lib/lean/Lean/Util/RecDepth.olean
  1638. lib/lean/Lean/Util/Recognizers.ilean
  1639. lib/lean/Lean/Util/Recognizers.olean
  1640. lib/lean/Lean/Util/ReplaceExpr.ilean
  1641. lib/lean/Lean/Util/ReplaceExpr.olean
  1642. lib/lean/Lean/Util/ReplaceLevel.ilean
  1643. lib/lean/Lean/Util/ReplaceLevel.olean
  1644. lib/lean/Lean/Util/SCC.ilean
  1645. lib/lean/Lean/Util/SCC.olean
  1646. lib/lean/Lean/Util/ShareCommon.ilean
  1647. lib/lean/Lean/Util/ShareCommon.olean
  1648. lib/lean/Lean/Util/Sorry.ilean
  1649. lib/lean/Lean/Util/Sorry.olean
  1650. lib/lean/Lean/Util/TestExtern.ilean
  1651. lib/lean/Lean/Util/TestExtern.olean
  1652. lib/lean/Lean/Util/Trace.ilean
  1653. lib/lean/Lean/Util/Trace.olean
  1654. lib/lean/Lean/Widget.ilean
  1655. lib/lean/Lean/Widget.olean
  1656. lib/lean/Lean/Widget/Basic.ilean
  1657. lib/lean/Lean/Widget/Basic.olean
  1658. lib/lean/Lean/Widget/Diff.ilean
  1659. lib/lean/Lean/Widget/Diff.olean
  1660. lib/lean/Lean/Widget/InteractiveCode.ilean
  1661. lib/lean/Lean/Widget/InteractiveCode.olean
  1662. lib/lean/Lean/Widget/InteractiveDiagnostic.ilean
  1663. lib/lean/Lean/Widget/InteractiveDiagnostic.olean
  1664. lib/lean/Lean/Widget/InteractiveGoal.ilean
  1665. lib/lean/Lean/Widget/InteractiveGoal.olean
  1666. lib/lean/Lean/Widget/TaggedText.ilean
  1667. lib/lean/Lean/Widget/TaggedText.olean
  1668. lib/lean/Lean/Widget/Types.ilean
  1669. lib/lean/Lean/Widget/Types.olean
  1670. lib/lean/Lean/Widget/UserWidget.ilean
  1671. lib/lean/Lean/Widget/UserWidget.olean
  1672. lib/lean/libInit.a
  1673. lib/lean/libInit_shared.so
  1674. lib/lean/libLake.a
  1675. lib/lean/libLean.a
  1676. lib/lean/libleancpp.a
  1677. lib/lean/libleanrt.a
  1678. lib/lean/libleanshared.so
  1679. share/lean/lean.mk
  1680. share/lean4/src/lean/Init.lean
  1681. share/lean4/src/lean/Init/BinderPredicates.lean
  1682. share/lean4/src/lean/Init/ByCases.lean
  1683. share/lean4/src/lean/Init/Classical.lean
  1684. share/lean4/src/lean/Init/Coe.lean
  1685. share/lean4/src/lean/Init/Control.lean
  1686. share/lean4/src/lean/Init/Control/Basic.lean
  1687. share/lean4/src/lean/Init/Control/EState.lean
  1688. share/lean4/src/lean/Init/Control/Except.lean
  1689. share/lean4/src/lean/Init/Control/ExceptCps.lean
  1690. share/lean4/src/lean/Init/Control/Id.lean
  1691. share/lean4/src/lean/Init/Control/Lawful.lean
  1692. share/lean4/src/lean/Init/Control/Option.lean
  1693. share/lean4/src/lean/Init/Control/Reader.lean
  1694. share/lean4/src/lean/Init/Control/State.lean
  1695. share/lean4/src/lean/Init/Control/StateCps.lean
  1696. share/lean4/src/lean/Init/Control/StateRef.lean
  1697. share/lean4/src/lean/Init/Conv.lean
  1698. share/lean4/src/lean/Init/Core.lean
  1699. share/lean4/src/lean/Init/Data.lean
  1700. share/lean4/src/lean/Init/Data/AC.lean
  1701. share/lean4/src/lean/Init/Data/Array.lean
  1702. share/lean4/src/lean/Init/Data/Array/Basic.lean
  1703. share/lean4/src/lean/Init/Data/Array/BasicAux.lean
  1704. share/lean4/src/lean/Init/Data/Array/BinSearch.lean
  1705. share/lean4/src/lean/Init/Data/Array/DecidableEq.lean
  1706. share/lean4/src/lean/Init/Data/Array/InsertionSort.lean
  1707. share/lean4/src/lean/Init/Data/Array/Lemmas.lean
  1708. share/lean4/src/lean/Init/Data/Array/Mem.lean
  1709. share/lean4/src/lean/Init/Data/Array/QSort.lean
  1710. share/lean4/src/lean/Init/Data/Array/Subarray.lean
  1711. share/lean4/src/lean/Init/Data/Basic.lean
  1712. share/lean4/src/lean/Init/Data/BitVec.lean
  1713. share/lean4/src/lean/Init/Data/BitVec/Basic.lean
  1714. share/lean4/src/lean/Init/Data/BitVec/Bitblast.lean
  1715. share/lean4/src/lean/Init/Data/BitVec/Folds.lean
  1716. share/lean4/src/lean/Init/Data/BitVec/Lemmas.lean
  1717. share/lean4/src/lean/Init/Data/Bool.lean
  1718. share/lean4/src/lean/Init/Data/ByteArray.lean
  1719. share/lean4/src/lean/Init/Data/ByteArray/Basic.lean
  1720. share/lean4/src/lean/Init/Data/Cast.lean
  1721. share/lean4/src/lean/Init/Data/Channel.lean
  1722. share/lean4/src/lean/Init/Data/Char.lean
  1723. share/lean4/src/lean/Init/Data/Char/Basic.lean
  1724. share/lean4/src/lean/Init/Data/Fin.lean
  1725. share/lean4/src/lean/Init/Data/Fin/Basic.lean
  1726. share/lean4/src/lean/Init/Data/Fin/Fold.lean
  1727. share/lean4/src/lean/Init/Data/Fin/Iterate.lean
  1728. share/lean4/src/lean/Init/Data/Fin/Lemmas.lean
  1729. share/lean4/src/lean/Init/Data/Fin/Log2.lean
  1730. share/lean4/src/lean/Init/Data/Float.lean
  1731. share/lean4/src/lean/Init/Data/FloatArray.lean
  1732. share/lean4/src/lean/Init/Data/FloatArray/Basic.lean
  1733. share/lean4/src/lean/Init/Data/Format.lean
  1734. share/lean4/src/lean/Init/Data/Format/Basic.lean
  1735. share/lean4/src/lean/Init/Data/Format/Instances.lean
  1736. share/lean4/src/lean/Init/Data/Format/Macro.lean
  1737. share/lean4/src/lean/Init/Data/Format/Syntax.lean
  1738. share/lean4/src/lean/Init/Data/Hashable.lean
  1739. share/lean4/src/lean/Init/Data/Int.lean
  1740. share/lean4/src/lean/Init/Data/Int/Basic.lean
  1741. share/lean4/src/lean/Init/Data/Int/Bitwise.lean
  1742. share/lean4/src/lean/Init/Data/Int/DivMod.lean
  1743. share/lean4/src/lean/Init/Data/Int/DivModLemmas.lean
  1744. share/lean4/src/lean/Init/Data/Int/Gcd.lean
  1745. share/lean4/src/lean/Init/Data/Int/Lemmas.lean
  1746. share/lean4/src/lean/Init/Data/Int/Order.lean
  1747. share/lean4/src/lean/Init/Data/List.lean
  1748. share/lean4/src/lean/Init/Data/List/Basic.lean
  1749. share/lean4/src/lean/Init/Data/List/BasicAux.lean
  1750. share/lean4/src/lean/Init/Data/List/Control.lean
  1751. share/lean4/src/lean/Init/Data/List/Lemmas.lean
  1752. share/lean4/src/lean/Init/Data/Nat.lean
  1753. share/lean4/src/lean/Init/Data/Nat/Basic.lean
  1754. share/lean4/src/lean/Init/Data/Nat/Bitwise.lean
  1755. share/lean4/src/lean/Init/Data/Nat/Bitwise/Basic.lean
  1756. share/lean4/src/lean/Init/Data/Nat/Bitwise/Lemmas.lean
  1757. share/lean4/src/lean/Init/Data/Nat/Control.lean
  1758. share/lean4/src/lean/Init/Data/Nat/Div.lean
  1759. share/lean4/src/lean/Init/Data/Nat/Dvd.lean
  1760. share/lean4/src/lean/Init/Data/Nat/Gcd.lean
  1761. share/lean4/src/lean/Init/Data/Nat/Lemmas.lean
  1762. share/lean4/src/lean/Init/Data/Nat/Linear.lean
  1763. share/lean4/src/lean/Init/Data/Nat/Log2.lean
  1764. share/lean4/src/lean/Init/Data/Nat/MinMax.lean
  1765. share/lean4/src/lean/Init/Data/Nat/Mod.lean
  1766. share/lean4/src/lean/Init/Data/Nat/Power2.lean
  1767. share/lean4/src/lean/Init/Data/Nat/SOM.lean
  1768. share/lean4/src/lean/Init/Data/OfScientific.lean
  1769. share/lean4/src/lean/Init/Data/Option.lean
  1770. share/lean4/src/lean/Init/Data/Option/Basic.lean
  1771. share/lean4/src/lean/Init/Data/Option/BasicAux.lean
  1772. share/lean4/src/lean/Init/Data/Option/Instances.lean
  1773. share/lean4/src/lean/Init/Data/Option/Lemmas.lean
  1774. share/lean4/src/lean/Init/Data/Ord.lean
  1775. share/lean4/src/lean/Init/Data/Prod.lean
  1776. share/lean4/src/lean/Init/Data/Queue.lean
  1777. share/lean4/src/lean/Init/Data/Random.lean
  1778. share/lean4/src/lean/Init/Data/Range.lean
  1779. share/lean4/src/lean/Init/Data/Repr.lean
  1780. share/lean4/src/lean/Init/Data/Stream.lean
  1781. share/lean4/src/lean/Init/Data/String.lean
  1782. share/lean4/src/lean/Init/Data/String/Basic.lean
  1783. share/lean4/src/lean/Init/Data/String/Extra.lean
  1784. share/lean4/src/lean/Init/Data/Sum.lean
  1785. share/lean4/src/lean/Init/Data/ToString.lean
  1786. share/lean4/src/lean/Init/Data/ToString/Basic.lean
  1787. share/lean4/src/lean/Init/Data/ToString/Macro.lean
  1788. share/lean4/src/lean/Init/Data/UInt.lean
  1789. share/lean4/src/lean/Init/Data/UInt/Basic.lean
  1790. share/lean4/src/lean/Init/Data/UInt/Log2.lean
  1791. share/lean4/src/lean/Init/Dynamic.lean
  1792. share/lean4/src/lean/Init/Ext.lean
  1793. share/lean4/src/lean/Init/Guard.lean
  1794. share/lean4/src/lean/Init/Hints.lean
  1795. share/lean4/src/lean/Init/Meta.lean
  1796. share/lean4/src/lean/Init/MetaTypes.lean
  1797. share/lean4/src/lean/Init/Notation.lean
  1798. share/lean4/src/lean/Init/NotationExtra.lean
  1799. share/lean4/src/lean/Init/Omega.lean
  1800. share/lean4/src/lean/Init/Omega/Coeffs.lean
  1801. share/lean4/src/lean/Init/Omega/Constraint.lean
  1802. share/lean4/src/lean/Init/Omega/Int.lean
  1803. share/lean4/src/lean/Init/Omega/IntList.lean
  1804. share/lean4/src/lean/Init/Omega/LinearCombo.lean
  1805. share/lean4/src/lean/Init/Omega/Logic.lean
  1806. share/lean4/src/lean/Init/Prelude.lean
  1807. share/lean4/src/lean/Init/PropLemmas.lean
  1808. share/lean4/src/lean/Init/RCases.lean
  1809. share/lean4/src/lean/Init/ShareCommon.lean
  1810. share/lean4/src/lean/Init/SimpLemmas.lean
  1811. share/lean4/src/lean/Init/Simproc.lean
  1812. share/lean4/src/lean/Init/SizeOf.lean
  1813. share/lean4/src/lean/Init/SizeOfLemmas.lean
  1814. share/lean4/src/lean/Init/System.lean
  1815. share/lean4/src/lean/Init/System/FilePath.lean
  1816. share/lean4/src/lean/Init/System/IO.lean
  1817. share/lean4/src/lean/Init/System/IOError.lean
  1818. share/lean4/src/lean/Init/System/Mutex.lean
  1819. share/lean4/src/lean/Init/System/Platform.lean
  1820. share/lean4/src/lean/Init/System/Promise.lean
  1821. share/lean4/src/lean/Init/System/ST.lean
  1822. share/lean4/src/lean/Init/System/Uri.lean
  1823. share/lean4/src/lean/Init/Tactics.lean
  1824. share/lean4/src/lean/Init/TacticsExtra.lean
  1825. share/lean4/src/lean/Init/Util.lean
  1826. share/lean4/src/lean/Init/WF.lean
  1827. share/lean4/src/lean/Init/WFTactics.lean
  1828. share/lean4/src/lean/Lean.lean
  1829. share/lean4/src/lean/Lean/Attributes.lean
  1830. share/lean4/src/lean/Lean/AuxRecursor.lean
  1831. share/lean4/src/lean/Lean/Class.lean
  1832. share/lean4/src/lean/Lean/Compiler.lean
  1833. share/lean4/src/lean/Lean/Compiler/AtMostOnce.lean
  1834. share/lean4/src/lean/Lean/Compiler/BorrowedAnnotation.lean
  1835. share/lean4/src/lean/Lean/Compiler/CSimpAttr.lean
  1836. share/lean4/src/lean/Lean/Compiler/ClosedTermCache.lean
  1837. share/lean4/src/lean/Lean/Compiler/ConstFolding.lean
  1838. share/lean4/src/lean/Lean/Compiler/ExportAttr.lean
  1839. share/lean4/src/lean/Lean/Compiler/ExternAttr.lean
  1840. share/lean4/src/lean/Lean/Compiler/FFI.lean
  1841. share/lean4/src/lean/Lean/Compiler/IR.lean
  1842. share/lean4/src/lean/Lean/Compiler/IR/Basic.lean
  1843. share/lean4/src/lean/Lean/Compiler/IR/Borrow.lean
  1844. share/lean4/src/lean/Lean/Compiler/IR/Boxing.lean
  1845. share/lean4/src/lean/Lean/Compiler/IR/Checker.lean
  1846. share/lean4/src/lean/Lean/Compiler/IR/CompilerM.lean
  1847. share/lean4/src/lean/Lean/Compiler/IR/CtorLayout.lean
  1848. share/lean4/src/lean/Lean/Compiler/IR/ElimDeadBranches.lean
  1849. share/lean4/src/lean/Lean/Compiler/IR/ElimDeadVars.lean
  1850. share/lean4/src/lean/Lean/Compiler/IR/EmitC.lean
  1851. share/lean4/src/lean/Lean/Compiler/IR/EmitLLVM.lean
  1852. share/lean4/src/lean/Lean/Compiler/IR/EmitUtil.lean
  1853. share/lean4/src/lean/Lean/Compiler/IR/ExpandResetReuse.lean
  1854. share/lean4/src/lean/Lean/Compiler/IR/Format.lean
  1855. share/lean4/src/lean/Lean/Compiler/IR/FreeVars.lean
  1856. share/lean4/src/lean/Lean/Compiler/IR/LLVMBindings.lean
  1857. share/lean4/src/lean/Lean/Compiler/IR/LiveVars.lean
  1858. share/lean4/src/lean/Lean/Compiler/IR/NormIds.lean
  1859. share/lean4/src/lean/Lean/Compiler/IR/PushProj.lean
  1860. share/lean4/src/lean/Lean/Compiler/IR/RC.lean
  1861. share/lean4/src/lean/Lean/Compiler/IR/ResetReuse.lean
  1862. share/lean4/src/lean/Lean/Compiler/IR/SimpCase.lean
  1863. share/lean4/src/lean/Lean/Compiler/IR/Sorry.lean
  1864. share/lean4/src/lean/Lean/Compiler/IR/UnboxResult.lean
  1865. share/lean4/src/lean/Lean/Compiler/ImplementedByAttr.lean
  1866. share/lean4/src/lean/Lean/Compiler/InitAttr.lean
  1867. share/lean4/src/lean/Lean/Compiler/InlineAttrs.lean
  1868. share/lean4/src/lean/Lean/Compiler/LCNF.lean
  1869. share/lean4/src/lean/Lean/Compiler/LCNF/AlphaEqv.lean
  1870. share/lean4/src/lean/Lean/Compiler/LCNF/AuxDeclCache.lean
  1871. share/lean4/src/lean/Lean/Compiler/LCNF/BaseTypes.lean
  1872. share/lean4/src/lean/Lean/Compiler/LCNF/Basic.lean
  1873. share/lean4/src/lean/Lean/Compiler/LCNF/Bind.lean
  1874. share/lean4/src/lean/Lean/Compiler/LCNF/CSE.lean
  1875. share/lean4/src/lean/Lean/Compiler/LCNF/Check.lean
  1876. share/lean4/src/lean/Lean/Compiler/LCNF/Closure.lean
  1877. share/lean4/src/lean/Lean/Compiler/LCNF/CompatibleTypes.lean
  1878. share/lean4/src/lean/Lean/Compiler/LCNF/CompilerM.lean
  1879. share/lean4/src/lean/Lean/Compiler/LCNF/ConfigOptions.lean
  1880. share/lean4/src/lean/Lean/Compiler/LCNF/DeclHash.lean
  1881. share/lean4/src/lean/Lean/Compiler/LCNF/DependsOn.lean
  1882. share/lean4/src/lean/Lean/Compiler/LCNF/ElimDead.lean
  1883. share/lean4/src/lean/Lean/Compiler/LCNF/ElimDeadBranches.lean
  1884. share/lean4/src/lean/Lean/Compiler/LCNF/FVarUtil.lean
  1885. share/lean4/src/lean/Lean/Compiler/LCNF/FixedParams.lean
  1886. share/lean4/src/lean/Lean/Compiler/LCNF/FloatLetIn.lean
  1887. share/lean4/src/lean/Lean/Compiler/LCNF/ForEachExpr.lean
  1888. share/lean4/src/lean/Lean/Compiler/LCNF/InferType.lean
  1889. share/lean4/src/lean/Lean/Compiler/LCNF/Internalize.lean
  1890. share/lean4/src/lean/Lean/Compiler/LCNF/JoinPoints.lean
  1891. share/lean4/src/lean/Lean/Compiler/LCNF/LCtx.lean
  1892. share/lean4/src/lean/Lean/Compiler/LCNF/LambdaLifting.lean
  1893. share/lean4/src/lean/Lean/Compiler/LCNF/Level.lean
  1894. share/lean4/src/lean/Lean/Compiler/LCNF/Main.lean
  1895. share/lean4/src/lean/Lean/Compiler/LCNF/MonadScope.lean
  1896. share/lean4/src/lean/Lean/Compiler/LCNF/MonoTypes.lean
  1897. share/lean4/src/lean/Lean/Compiler/LCNF/OtherDecl.lean
  1898. share/lean4/src/lean/Lean/Compiler/LCNF/PassManager.lean
  1899. share/lean4/src/lean/Lean/Compiler/LCNF/Passes.lean
  1900. share/lean4/src/lean/Lean/Compiler/LCNF/PhaseExt.lean
  1901. share/lean4/src/lean/Lean/Compiler/LCNF/PrettyPrinter.lean
  1902. share/lean4/src/lean/Lean/Compiler/LCNF/Probing.lean
  1903. share/lean4/src/lean/Lean/Compiler/LCNF/PullFunDecls.lean
  1904. share/lean4/src/lean/Lean/Compiler/LCNF/PullLetDecls.lean
  1905. share/lean4/src/lean/Lean/Compiler/LCNF/ReduceArity.lean
  1906. share/lean4/src/lean/Lean/Compiler/LCNF/ReduceJpArity.lean
  1907. share/lean4/src/lean/Lean/Compiler/LCNF/Renaming.lean
  1908. share/lean4/src/lean/Lean/Compiler/LCNF/ScopeM.lean
  1909. share/lean4/src/lean/Lean/Compiler/LCNF/Simp.lean
  1910. share/lean4/src/lean/Lean/Compiler/LCNF/Simp/Basic.lean
  1911. share/lean4/src/lean/Lean/Compiler/LCNF/Simp/Config.lean
  1912. share/lean4/src/lean/Lean/Compiler/LCNF/Simp/ConstantFold.lean
  1913. share/lean4/src/lean/Lean/Compiler/LCNF/Simp/DefaultAlt.lean
  1914. share/lean4/src/lean/Lean/Compiler/LCNF/Simp/DiscrM.lean
  1915. share/lean4/src/lean/Lean/Compiler/LCNF/Simp/FunDeclInfo.lean
  1916. share/lean4/src/lean/Lean/Compiler/LCNF/Simp/InlineCandidate.lean
  1917. share/lean4/src/lean/Lean/Compiler/LCNF/Simp/InlineProj.lean
  1918. share/lean4/src/lean/Lean/Compiler/LCNF/Simp/JpCases.lean
  1919. share/lean4/src/lean/Lean/Compiler/LCNF/Simp/Main.lean
  1920. share/lean4/src/lean/Lean/Compiler/LCNF/Simp/SimpM.lean
  1921. share/lean4/src/lean/Lean/Compiler/LCNF/Simp/SimpValue.lean
  1922. share/lean4/src/lean/Lean/Compiler/LCNF/Simp/Used.lean
  1923. share/lean4/src/lean/Lean/Compiler/LCNF/SpecInfo.lean
  1924. share/lean4/src/lean/Lean/Compiler/LCNF/Specialize.lean
  1925. share/lean4/src/lean/Lean/Compiler/LCNF/Testing.lean
  1926. share/lean4/src/lean/Lean/Compiler/LCNF/ToDecl.lean
  1927. share/lean4/src/lean/Lean/Compiler/LCNF/ToExpr.lean
  1928. share/lean4/src/lean/Lean/Compiler/LCNF/ToLCNF.lean
  1929. share/lean4/src/lean/Lean/Compiler/LCNF/ToMono.lean
  1930. share/lean4/src/lean/Lean/Compiler/LCNF/Types.lean
  1931. share/lean4/src/lean/Lean/Compiler/LCNF/Util.lean
  1932. share/lean4/src/lean/Lean/Compiler/Main.lean
  1933. share/lean4/src/lean/Lean/Compiler/NameMangling.lean
  1934. share/lean4/src/lean/Lean/Compiler/NeverExtractAttr.lean
  1935. share/lean4/src/lean/Lean/Compiler/NoncomputableAttr.lean
  1936. share/lean4/src/lean/Lean/Compiler/Old.lean
  1937. share/lean4/src/lean/Lean/Compiler/Options.lean
  1938. share/lean4/src/lean/Lean/Compiler/Specialize.lean
  1939. share/lean4/src/lean/Lean/CoreM.lean
  1940. share/lean4/src/lean/Lean/Data.lean
  1941. share/lean4/src/lean/Lean/Data/Array.lean
  1942. share/lean4/src/lean/Lean/Data/AssocList.lean
  1943. share/lean4/src/lean/Lean/Data/Format.lean
  1944. share/lean4/src/lean/Lean/Data/FuzzyMatching.lean
  1945. share/lean4/src/lean/Lean/Data/HashMap.lean
  1946. share/lean4/src/lean/Lean/Data/HashSet.lean
  1947. share/lean4/src/lean/Lean/Data/Json.lean
  1948. share/lean4/src/lean/Lean/Data/Json/Basic.lean
  1949. share/lean4/src/lean/Lean/Data/Json/Elab.lean
  1950. share/lean4/src/lean/Lean/Data/Json/FromToJson.lean
  1951. share/lean4/src/lean/Lean/Data/Json/Parser.lean
  1952. share/lean4/src/lean/Lean/Data/Json/Printer.lean
  1953. share/lean4/src/lean/Lean/Data/Json/Stream.lean
  1954. share/lean4/src/lean/Lean/Data/JsonRpc.lean
  1955. share/lean4/src/lean/Lean/Data/KVMap.lean
  1956. share/lean4/src/lean/Lean/Data/LBool.lean
  1957. share/lean4/src/lean/Lean/Data/LOption.lean
  1958. share/lean4/src/lean/Lean/Data/Lsp.lean
  1959. share/lean4/src/lean/Lean/Data/Lsp/Basic.lean
  1960. share/lean4/src/lean/Lean/Data/Lsp/Capabilities.lean
  1961. share/lean4/src/lean/Lean/Data/Lsp/Client.lean
  1962. share/lean4/src/lean/Lean/Data/Lsp/CodeActions.lean
  1963. share/lean4/src/lean/Lean/Data/Lsp/Communication.lean
  1964. share/lean4/src/lean/Lean/Data/Lsp/Diagnostics.lean
  1965. share/lean4/src/lean/Lean/Data/Lsp/Extra.lean
  1966. share/lean4/src/lean/Lean/Data/Lsp/InitShutdown.lean
  1967. share/lean4/src/lean/Lean/Data/Lsp/Internal.lean
  1968. share/lean4/src/lean/Lean/Data/Lsp/Ipc.lean
  1969. share/lean4/src/lean/Lean/Data/Lsp/LanguageFeatures.lean
  1970. share/lean4/src/lean/Lean/Data/Lsp/TextSync.lean
  1971. share/lean4/src/lean/Lean/Data/Lsp/Utf16.lean
  1972. share/lean4/src/lean/Lean/Data/Lsp/Workspace.lean
  1973. share/lean4/src/lean/Lean/Data/Name.lean
  1974. share/lean4/src/lean/Lean/Data/NameMap.lean
  1975. share/lean4/src/lean/Lean/Data/NameTrie.lean
  1976. share/lean4/src/lean/Lean/Data/OpenDecl.lean
  1977. share/lean4/src/lean/Lean/Data/Options.lean
  1978. share/lean4/src/lean/Lean/Data/Parsec.lean
  1979. share/lean4/src/lean/Lean/Data/PersistentArray.lean
  1980. share/lean4/src/lean/Lean/Data/PersistentHashMap.lean
  1981. share/lean4/src/lean/Lean/Data/PersistentHashSet.lean
  1982. share/lean4/src/lean/Lean/Data/Position.lean
  1983. share/lean4/src/lean/Lean/Data/PrefixTree.lean
  1984. share/lean4/src/lean/Lean/Data/RBMap.lean
  1985. share/lean4/src/lean/Lean/Data/RBTree.lean
  1986. share/lean4/src/lean/Lean/Data/Rat.lean
  1987. share/lean4/src/lean/Lean/Data/SMap.lean
  1988. share/lean4/src/lean/Lean/Data/SSet.lean
  1989. share/lean4/src/lean/Lean/Data/Trie.lean
  1990. share/lean4/src/lean/Lean/Data/Xml.lean
  1991. share/lean4/src/lean/Lean/Data/Xml/Basic.lean
  1992. share/lean4/src/lean/Lean/Data/Xml/Parser.lean
  1993. share/lean4/src/lean/Lean/Declaration.lean
  1994. share/lean4/src/lean/Lean/DeclarationRange.lean
  1995. share/lean4/src/lean/Lean/DocString.lean
  1996. share/lean4/src/lean/Lean/Elab.lean
  1997. share/lean4/src/lean/Lean/Elab/App.lean
  1998. share/lean4/src/lean/Lean/Elab/Arg.lean
  1999. share/lean4/src/lean/Lean/Elab/Attributes.lean
  2000. share/lean4/src/lean/Lean/Elab/AutoBound.lean
  2001. share/lean4/src/lean/Lean/Elab/AuxDef.lean
  2002. share/lean4/src/lean/Lean/Elab/BinderPredicates.lean
  2003. share/lean4/src/lean/Lean/Elab/Binders.lean
  2004. share/lean4/src/lean/Lean/Elab/BindersUtil.lean
  2005. share/lean4/src/lean/Lean/Elab/BuiltinCommand.lean
  2006. share/lean4/src/lean/Lean/Elab/BuiltinNotation.lean
  2007. share/lean4/src/lean/Lean/Elab/BuiltinTerm.lean
  2008. share/lean4/src/lean/Lean/Elab/Calc.lean
  2009. share/lean4/src/lean/Lean/Elab/CheckTactic.lean
  2010. share/lean4/src/lean/Lean/Elab/Command.lean
  2011. share/lean4/src/lean/Lean/Elab/ComputedFields.lean
  2012. share/lean4/src/lean/Lean/Elab/Config.lean
  2013. share/lean4/src/lean/Lean/Elab/DeclModifiers.lean
  2014. share/lean4/src/lean/Lean/Elab/DeclUtil.lean
  2015. share/lean4/src/lean/Lean/Elab/Declaration.lean
  2016. share/lean4/src/lean/Lean/Elab/DeclarationRange.lean
  2017. share/lean4/src/lean/Lean/Elab/DefView.lean
  2018. share/lean4/src/lean/Lean/Elab/Deriving.lean
  2019. share/lean4/src/lean/Lean/Elab/Deriving/BEq.lean
  2020. share/lean4/src/lean/Lean/Elab/Deriving/Basic.lean
  2021. share/lean4/src/lean/Lean/Elab/Deriving/DecEq.lean
  2022. share/lean4/src/lean/Lean/Elab/Deriving/FromToJson.lean
  2023. share/lean4/src/lean/Lean/Elab/Deriving/Hashable.lean
  2024. share/lean4/src/lean/Lean/Elab/Deriving/Inhabited.lean
  2025. share/lean4/src/lean/Lean/Elab/Deriving/Nonempty.lean
  2026. share/lean4/src/lean/Lean/Elab/Deriving/Ord.lean
  2027. share/lean4/src/lean/Lean/Elab/Deriving/Repr.lean
  2028. share/lean4/src/lean/Lean/Elab/Deriving/SizeOf.lean
  2029. share/lean4/src/lean/Lean/Elab/Deriving/TypeName.lean
  2030. share/lean4/src/lean/Lean/Elab/Deriving/Util.lean
  2031. share/lean4/src/lean/Lean/Elab/Do.lean
  2032. share/lean4/src/lean/Lean/Elab/ElabRules.lean
  2033. share/lean4/src/lean/Lean/Elab/Eval.lean
  2034. share/lean4/src/lean/Lean/Elab/Exception.lean
  2035. share/lean4/src/lean/Lean/Elab/Extra.lean
  2036. share/lean4/src/lean/Lean/Elab/Frontend.lean
  2037. share/lean4/src/lean/Lean/Elab/GenInjective.lean
  2038. share/lean4/src/lean/Lean/Elab/GuardMsgs.lean
  2039. share/lean4/src/lean/Lean/Elab/Import.lean
  2040. share/lean4/src/lean/Lean/Elab/Inductive.lean
  2041. share/lean4/src/lean/Lean/Elab/InfoTree.lean
  2042. share/lean4/src/lean/Lean/Elab/InfoTree/Main.lean
  2043. share/lean4/src/lean/Lean/Elab/InfoTree/Types.lean
  2044. share/lean4/src/lean/Lean/Elab/InheritDoc.lean
  2045. share/lean4/src/lean/Lean/Elab/LetRec.lean
  2046. share/lean4/src/lean/Lean/Elab/Level.lean
  2047. share/lean4/src/lean/Lean/Elab/Macro.lean
  2048. share/lean4/src/lean/Lean/Elab/MacroArgUtil.lean
  2049. share/lean4/src/lean/Lean/Elab/MacroRules.lean
  2050. share/lean4/src/lean/Lean/Elab/Match.lean
  2051. share/lean4/src/lean/Lean/Elab/MatchAltView.lean
  2052. share/lean4/src/lean/Lean/Elab/MatchExpr.lean
  2053. share/lean4/src/lean/Lean/Elab/Mixfix.lean
  2054. share/lean4/src/lean/Lean/Elab/MutualDef.lean
  2055. share/lean4/src/lean/Lean/Elab/Notation.lean
  2056. share/lean4/src/lean/Lean/Elab/Open.lean
  2057. share/lean4/src/lean/Lean/Elab/ParseImportsFast.lean
  2058. share/lean4/src/lean/Lean/Elab/PatternVar.lean
  2059. share/lean4/src/lean/Lean/Elab/PreDefinition.lean
  2060. share/lean4/src/lean/Lean/Elab/PreDefinition/Basic.lean
  2061. share/lean4/src/lean/Lean/Elab/PreDefinition/Eqns.lean
  2062. share/lean4/src/lean/Lean/Elab/PreDefinition/Main.lean
  2063. share/lean4/src/lean/Lean/Elab/PreDefinition/MkInhabitant.lean
  2064. share/lean4/src/lean/Lean/Elab/PreDefinition/Structural.lean
  2065. share/lean4/src/lean/Lean/Elab/PreDefinition/Structural/BRecOn.lean
  2066. share/lean4/src/lean/Lean/Elab/PreDefinition/Structural/Basic.lean
  2067. share/lean4/src/lean/Lean/Elab/PreDefinition/Structural/Eqns.lean
  2068. share/lean4/src/lean/Lean/Elab/PreDefinition/Structural/FindRecArg.lean
  2069. share/lean4/src/lean/Lean/Elab/PreDefinition/Structural/IndPred.lean
  2070. share/lean4/src/lean/Lean/Elab/PreDefinition/Structural/Main.lean
  2071. share/lean4/src/lean/Lean/Elab/PreDefinition/Structural/Preprocess.lean
  2072. share/lean4/src/lean/Lean/Elab/PreDefinition/Structural/SmartUnfolding.lean
  2073. share/lean4/src/lean/Lean/Elab/PreDefinition/WF.lean
  2074. share/lean4/src/lean/Lean/Elab/PreDefinition/WF/Eqns.lean
  2075. share/lean4/src/lean/Lean/Elab/PreDefinition/WF/Fix.lean
  2076. share/lean4/src/lean/Lean/Elab/PreDefinition/WF/GuessLex.lean
  2077. share/lean4/src/lean/Lean/Elab/PreDefinition/WF/Ite.lean
  2078. share/lean4/src/lean/Lean/Elab/PreDefinition/WF/Main.lean
  2079. share/lean4/src/lean/Lean/Elab/PreDefinition/WF/PackDomain.lean
  2080. share/lean4/src/lean/Lean/Elab/PreDefinition/WF/PackMutual.lean
  2081. share/lean4/src/lean/Lean/Elab/PreDefinition/WF/Preprocess.lean
  2082. share/lean4/src/lean/Lean/Elab/PreDefinition/WF/Rel.lean
  2083. share/lean4/src/lean/Lean/Elab/PreDefinition/WF/TerminationHint.lean
  2084. share/lean4/src/lean/Lean/Elab/Print.lean
  2085. share/lean4/src/lean/Lean/Elab/Quotation.lean
  2086. share/lean4/src/lean/Lean/Elab/Quotation/Precheck.lean
  2087. share/lean4/src/lean/Lean/Elab/Quotation/Util.lean
  2088. share/lean4/src/lean/Lean/Elab/RecAppSyntax.lean
  2089. share/lean4/src/lean/Lean/Elab/SetOption.lean
  2090. share/lean4/src/lean/Lean/Elab/StructInst.lean
  2091. share/lean4/src/lean/Lean/Elab/Structure.lean
  2092. share/lean4/src/lean/Lean/Elab/Syntax.lean
  2093. share/lean4/src/lean/Lean/Elab/SyntheticMVars.lean
  2094. share/lean4/src/lean/Lean/Elab/Tactic.lean
  2095. share/lean4/src/lean/Lean/Elab/Tactic/Basic.lean
  2096. share/lean4/src/lean/Lean/Elab/Tactic/BuiltinTactic.lean
  2097. share/lean4/src/lean/Lean/Elab/Tactic/Cache.lean
  2098. share/lean4/src/lean/Lean/Elab/Tactic/Calc.lean
  2099. share/lean4/src/lean/Lean/Elab/Tactic/Change.lean
  2100. share/lean4/src/lean/Lean/Elab/Tactic/Config.lean
  2101. share/lean4/src/lean/Lean/Elab/Tactic/Congr.lean
  2102. share/lean4/src/lean/Lean/Elab/Tactic/Conv.lean
  2103. share/lean4/src/lean/Lean/Elab/Tactic/Conv/Basic.lean
  2104. share/lean4/src/lean/Lean/Elab/Tactic/Conv/Change.lean
  2105. share/lean4/src/lean/Lean/Elab/Tactic/Conv/Congr.lean
  2106. share/lean4/src/lean/Lean/Elab/Tactic/Conv/Delta.lean
  2107. share/lean4/src/lean/Lean/Elab/Tactic/Conv/Pattern.lean
  2108. share/lean4/src/lean/Lean/Elab/Tactic/Conv/Rewrite.lean
  2109. share/lean4/src/lean/Lean/Elab/Tactic/Conv/Simp.lean
  2110. share/lean4/src/lean/Lean/Elab/Tactic/Conv/Unfold.lean
  2111. share/lean4/src/lean/Lean/Elab/Tactic/Delta.lean
  2112. share/lean4/src/lean/Lean/Elab/Tactic/ElabTerm.lean
  2113. share/lean4/src/lean/Lean/Elab/Tactic/Ext.lean
  2114. share/lean4/src/lean/Lean/Elab/Tactic/FalseOrByContra.lean
  2115. share/lean4/src/lean/Lean/Elab/Tactic/Generalize.lean
  2116. share/lean4/src/lean/Lean/Elab/Tactic/Guard.lean
  2117. share/lean4/src/lean/Lean/Elab/Tactic/Induction.lean
  2118. share/lean4/src/lean/Lean/Elab/Tactic/Injection.lean
  2119. share/lean4/src/lean/Lean/Elab/Tactic/LibrarySearch.lean
  2120. share/lean4/src/lean/Lean/Elab/Tactic/Location.lean
  2121. share/lean4/src/lean/Lean/Elab/Tactic/Match.lean
  2122. share/lean4/src/lean/Lean/Elab/Tactic/Meta.lean
  2123. share/lean4/src/lean/Lean/Elab/Tactic/NormCast.lean
  2124. share/lean4/src/lean/Lean/Elab/Tactic/Omega.lean
  2125. share/lean4/src/lean/Lean/Elab/Tactic/Omega/Core.lean
  2126. share/lean4/src/lean/Lean/Elab/Tactic/Omega/Frontend.lean
  2127. share/lean4/src/lean/Lean/Elab/Tactic/Omega/MinNatAbs.lean
  2128. share/lean4/src/lean/Lean/Elab/Tactic/Omega/OmegaM.lean
  2129. share/lean4/src/lean/Lean/Elab/Tactic/RCases.lean
  2130. share/lean4/src/lean/Lean/Elab/Tactic/Repeat.lean
  2131. share/lean4/src/lean/Lean/Elab/Tactic/Rewrite.lean
  2132. share/lean4/src/lean/Lean/Elab/Tactic/ShowTerm.lean
  2133. share/lean4/src/lean/Lean/Elab/Tactic/Simp.lean
  2134. share/lean4/src/lean/Lean/Elab/Tactic/SimpTrace.lean
  2135. share/lean4/src/lean/Lean/Elab/Tactic/Simpa.lean
  2136. share/lean4/src/lean/Lean/Elab/Tactic/Simproc.lean
  2137. share/lean4/src/lean/Lean/Elab/Tactic/SolveByElim.lean
  2138. share/lean4/src/lean/Lean/Elab/Tactic/Split.lean
  2139. share/lean4/src/lean/Lean/Elab/Tactic/Symm.lean
  2140. share/lean4/src/lean/Lean/Elab/Tactic/Unfold.lean
  2141. share/lean4/src/lean/Lean/Elab/Term.lean
  2142. share/lean4/src/lean/Lean/Elab/Util.lean
  2143. share/lean4/src/lean/Lean/Environment.lean
  2144. share/lean4/src/lean/Lean/Eval.lean
  2145. share/lean4/src/lean/Lean/Exception.lean
  2146. share/lean4/src/lean/Lean/Expr.lean
  2147. share/lean4/src/lean/Lean/HeadIndex.lean
  2148. share/lean4/src/lean/Lean/Hygiene.lean
  2149. share/lean4/src/lean/Lean/ImportingFlag.lean
  2150. share/lean4/src/lean/Lean/InternalExceptionId.lean
  2151. share/lean4/src/lean/Lean/KeyedDeclsAttribute.lean
  2152. share/lean4/src/lean/Lean/LabelAttribute.lean
  2153. share/lean4/src/lean/Lean/LazyInitExtension.lean
  2154. share/lean4/src/lean/Lean/Level.lean
  2155. share/lean4/src/lean/Lean/Linter.lean
  2156. share/lean4/src/lean/Lean/Linter/Basic.lean
  2157. share/lean4/src/lean/Lean/Linter/Builtin.lean
  2158. share/lean4/src/lean/Lean/Linter/Deprecated.lean
  2159. share/lean4/src/lean/Lean/Linter/MissingDocs.lean
  2160. share/lean4/src/lean/Lean/Linter/UnusedVariables.lean
  2161. share/lean4/src/lean/Lean/Linter/Util.lean
  2162. share/lean4/src/lean/Lean/LoadDynlib.lean
  2163. share/lean4/src/lean/Lean/LocalContext.lean
  2164. share/lean4/src/lean/Lean/Log.lean
  2165. share/lean4/src/lean/Lean/Message.lean
  2166. share/lean4/src/lean/Lean/Meta.lean
  2167. share/lean4/src/lean/Lean/Meta/ACLt.lean
  2168. share/lean4/src/lean/Lean/Meta/AbstractMVars.lean
  2169. share/lean4/src/lean/Lean/Meta/AbstractNestedProofs.lean
  2170. share/lean4/src/lean/Lean/Meta/AppBuilder.lean
  2171. share/lean4/src/lean/Lean/Meta/Basic.lean
  2172. share/lean4/src/lean/Lean/Meta/Check.lean
  2173. share/lean4/src/lean/Lean/Meta/Closure.lean
  2174. share/lean4/src/lean/Lean/Meta/Coe.lean
  2175. share/lean4/src/lean/Lean/Meta/CoeAttr.lean
  2176. share/lean4/src/lean/Lean/Meta/CollectFVars.lean
  2177. share/lean4/src/lean/Lean/Meta/CollectMVars.lean
  2178. share/lean4/src/lean/Lean/Meta/CompletionName.lean
  2179. share/lean4/src/lean/Lean/Meta/CongrTheorems.lean
  2180. share/lean4/src/lean/Lean/Meta/Constructions.lean
  2181. share/lean4/src/lean/Lean/Meta/CtorRecognizer.lean
  2182. share/lean4/src/lean/Lean/Meta/DecLevel.lean
  2183. share/lean4/src/lean/Lean/Meta/DiscrTree.lean
  2184. share/lean4/src/lean/Lean/Meta/DiscrTreeTypes.lean
  2185. share/lean4/src/lean/Lean/Meta/Eqns.lean
  2186. share/lean4/src/lean/Lean/Meta/Eval.lean
  2187. share/lean4/src/lean/Lean/Meta/ExprDefEq.lean
  2188. share/lean4/src/lean/Lean/Meta/ExprLens.lean
  2189. share/lean4/src/lean/Lean/Meta/ExprTraverse.lean
  2190. share/lean4/src/lean/Lean/Meta/ForEachExpr.lean
  2191. share/lean4/src/lean/Lean/Meta/FunInfo.lean
  2192. share/lean4/src/lean/Lean/Meta/GeneralizeTelescope.lean
  2193. share/lean4/src/lean/Lean/Meta/GeneralizeVars.lean
  2194. share/lean4/src/lean/Lean/Meta/GetUnfoldableConst.lean
  2195. share/lean4/src/lean/Lean/Meta/GlobalInstances.lean
  2196. share/lean4/src/lean/Lean/Meta/IndPredBelow.lean
  2197. share/lean4/src/lean/Lean/Meta/Inductive.lean
  2198. share/lean4/src/lean/Lean/Meta/InferType.lean
  2199. share/lean4/src/lean/Lean/Meta/Injective.lean
  2200. share/lean4/src/lean/Lean/Meta/Instances.lean
  2201. share/lean4/src/lean/Lean/Meta/Iterator.lean
  2202. share/lean4/src/lean/Lean/Meta/KAbstract.lean
  2203. share/lean4/src/lean/Lean/Meta/KExprMap.lean
  2204. share/lean4/src/lean/Lean/Meta/LazyDiscrTree.lean
  2205. share/lean4/src/lean/Lean/Meta/LevelDefEq.lean
  2206. share/lean4/src/lean/Lean/Meta/LitValues.lean
  2207. share/lean4/src/lean/Lean/Meta/Match.lean
  2208. share/lean4/src/lean/Lean/Meta/Match/Basic.lean
  2209. share/lean4/src/lean/Lean/Meta/Match/CaseArraySizes.lean
  2210. share/lean4/src/lean/Lean/Meta/Match/CaseValues.lean
  2211. share/lean4/src/lean/Lean/Meta/Match/MVarRenaming.lean
  2212. share/lean4/src/lean/Lean/Meta/Match/Match.lean
  2213. share/lean4/src/lean/Lean/Meta/Match/MatchEqs.lean
  2214. share/lean4/src/lean/Lean/Meta/Match/MatchEqsExt.lean
  2215. share/lean4/src/lean/Lean/Meta/Match/MatchPatternAttr.lean
  2216. share/lean4/src/lean/Lean/Meta/Match/MatcherApp.lean
  2217. share/lean4/src/lean/Lean/Meta/Match/MatcherApp/Basic.lean
  2218. share/lean4/src/lean/Lean/Meta/Match/MatcherApp/Transform.lean
  2219. share/lean4/src/lean/Lean/Meta/Match/MatcherInfo.lean
  2220. share/lean4/src/lean/Lean/Meta/Match/Value.lean
  2221. share/lean4/src/lean/Lean/Meta/MatchUtil.lean
  2222. share/lean4/src/lean/Lean/Meta/Offset.lean
  2223. share/lean4/src/lean/Lean/Meta/PPGoal.lean
  2224. share/lean4/src/lean/Lean/Meta/RecursorInfo.lean
  2225. share/lean4/src/lean/Lean/Meta/Reduce.lean
  2226. share/lean4/src/lean/Lean/Meta/ReduceEval.lean
  2227. share/lean4/src/lean/Lean/Meta/SizeOf.lean
  2228. share/lean4/src/lean/Lean/Meta/Structure.lean
  2229. share/lean4/src/lean/Lean/Meta/SynthInstance.lean
  2230. share/lean4/src/lean/Lean/Meta/Tactic.lean
  2231. share/lean4/src/lean/Lean/Meta/Tactic/AC.lean
  2232. share/lean4/src/lean/Lean/Meta/Tactic/AC/Main.lean
  2233. share/lean4/src/lean/Lean/Meta/Tactic/Acyclic.lean
  2234. share/lean4/src/lean/Lean/Meta/Tactic/Apply.lean
  2235. share/lean4/src/lean/Lean/Meta/Tactic/Assert.lean
  2236. share/lean4/src/lean/Lean/Meta/Tactic/Assumption.lean
  2237. share/lean4/src/lean/Lean/Meta/Tactic/AuxLemma.lean
  2238. share/lean4/src/lean/Lean/Meta/Tactic/Backtrack.lean
  2239. share/lean4/src/lean/Lean/Meta/Tactic/Cases.lean
  2240. share/lean4/src/lean/Lean/Meta/Tactic/Cleanup.lean
  2241. share/lean4/src/lean/Lean/Meta/Tactic/Clear.lean
  2242. share/lean4/src/lean/Lean/Meta/Tactic/Congr.lean
  2243. share/lean4/src/lean/Lean/Meta/Tactic/Constructor.lean
  2244. share/lean4/src/lean/Lean/Meta/Tactic/Contradiction.lean
  2245. share/lean4/src/lean/Lean/Meta/Tactic/Delta.lean
  2246. share/lean4/src/lean/Lean/Meta/Tactic/ElimInfo.lean
  2247. share/lean4/src/lean/Lean/Meta/Tactic/FVarSubst.lean
  2248. share/lean4/src/lean/Lean/Meta/Tactic/Generalize.lean
  2249. share/lean4/src/lean/Lean/Meta/Tactic/IndependentOf.lean
  2250. share/lean4/src/lean/Lean/Meta/Tactic/Induction.lean
  2251. share/lean4/src/lean/Lean/Meta/Tactic/Injection.lean
  2252. share/lean4/src/lean/Lean/Meta/Tactic/Intro.lean
  2253. share/lean4/src/lean/Lean/Meta/Tactic/LibrarySearch.lean
  2254. share/lean4/src/lean/Lean/Meta/Tactic/LinearArith.lean
  2255. share/lean4/src/lean/Lean/Meta/Tactic/LinearArith/Basic.lean
  2256. share/lean4/src/lean/Lean/Meta/Tactic/LinearArith/Main.lean
  2257. share/lean4/src/lean/Lean/Meta/Tactic/LinearArith/Nat.lean
  2258. share/lean4/src/lean/Lean/Meta/Tactic/LinearArith/Nat/Basic.lean
  2259. share/lean4/src/lean/Lean/Meta/Tactic/LinearArith/Nat/Simp.lean
  2260. share/lean4/src/lean/Lean/Meta/Tactic/LinearArith/Nat/Solver.lean
  2261. share/lean4/src/lean/Lean/Meta/Tactic/LinearArith/Simp.lean
  2262. share/lean4/src/lean/Lean/Meta/Tactic/LinearArith/Solver.lean
  2263. share/lean4/src/lean/Lean/Meta/Tactic/NormCast.lean
  2264. share/lean4/src/lean/Lean/Meta/Tactic/Refl.lean
  2265. share/lean4/src/lean/Lean/Meta/Tactic/Rename.lean
  2266. share/lean4/src/lean/Lean/Meta/Tactic/Repeat.lean
  2267. share/lean4/src/lean/Lean/Meta/Tactic/Replace.lean
  2268. share/lean4/src/lean/Lean/Meta/Tactic/Revert.lean
  2269. share/lean4/src/lean/Lean/Meta/Tactic/Rewrite.lean
  2270. share/lean4/src/lean/Lean/Meta/Tactic/Simp.lean
  2271. share/lean4/src/lean/Lean/Meta/Tactic/Simp/Attr.lean
  2272. share/lean4/src/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs.lean
  2273. share/lean4/src/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs/BitVec.lean
  2274. share/lean4/src/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Char.lean
  2275. share/lean4/src/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Core.lean
  2276. share/lean4/src/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Fin.lean
  2277. share/lean4/src/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Int.lean
  2278. share/lean4/src/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Nat.lean
  2279. share/lean4/src/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs/String.lean
  2280. share/lean4/src/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs/UInt.lean
  2281. share/lean4/src/lean/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Util.lean
  2282. share/lean4/src/lean/Lean/Meta/Tactic/Simp/Main.lean
  2283. share/lean4/src/lean/Lean/Meta/Tactic/Simp/RegisterCommand.lean
  2284. share/lean4/src/lean/Lean/Meta/Tactic/Simp/Rewrite.lean
  2285. share/lean4/src/lean/Lean/Meta/Tactic/Simp/SimpAll.lean
  2286. share/lean4/src/lean/Lean/Meta/Tactic/Simp/SimpCongrTheorems.lean
  2287. share/lean4/src/lean/Lean/Meta/Tactic/Simp/SimpTheorems.lean
  2288. share/lean4/src/lean/Lean/Meta/Tactic/Simp/Simproc.lean
  2289. share/lean4/src/lean/Lean/Meta/Tactic/Simp/Types.lean
  2290. share/lean4/src/lean/Lean/Meta/Tactic/SolveByElim.lean
  2291. share/lean4/src/lean/Lean/Meta/Tactic/Split.lean
  2292. share/lean4/src/lean/Lean/Meta/Tactic/SplitIf.lean
  2293. share/lean4/src/lean/Lean/Meta/Tactic/Subst.lean
  2294. share/lean4/src/lean/Lean/Meta/Tactic/Symm.lean
  2295. share/lean4/src/lean/Lean/Meta/Tactic/TryThis.lean
  2296. share/lean4/src/lean/Lean/Meta/Tactic/Unfold.lean
  2297. share/lean4/src/lean/Lean/Meta/Tactic/UnifyEq.lean
  2298. share/lean4/src/lean/Lean/Meta/Tactic/Util.lean
  2299. share/lean4/src/lean/Lean/Meta/Transform.lean
  2300. share/lean4/src/lean/Lean/Meta/TransparencyMode.lean
  2301. share/lean4/src/lean/Lean/Meta/UnificationHint.lean
  2302. share/lean4/src/lean/Lean/Meta/WHNF.lean
  2303. share/lean4/src/lean/Lean/MetavarContext.lean
  2304. share/lean4/src/lean/Lean/Modifiers.lean
  2305. share/lean4/src/lean/Lean/MonadEnv.lean
  2306. share/lean4/src/lean/Lean/Parser.lean
  2307. share/lean4/src/lean/Lean/Parser/Attr.lean
  2308. share/lean4/src/lean/Lean/Parser/Basic.lean
  2309. share/lean4/src/lean/Lean/Parser/Command.lean
  2310. share/lean4/src/lean/Lean/Parser/Do.lean
  2311. share/lean4/src/lean/Lean/Parser/Extension.lean
  2312. share/lean4/src/lean/Lean/Parser/Extra.lean
  2313. share/lean4/src/lean/Lean/Parser/Level.lean
  2314. share/lean4/src/lean/Lean/Parser/Module.lean
  2315. share/lean4/src/lean/Lean/Parser/StrInterpolation.lean
  2316. share/lean4/src/lean/Lean/Parser/Syntax.lean
  2317. share/lean4/src/lean/Lean/Parser/Tactic.lean
  2318. share/lean4/src/lean/Lean/Parser/Term.lean
  2319. share/lean4/src/lean/Lean/Parser/Types.lean
  2320. share/lean4/src/lean/Lean/ParserCompiler.lean
  2321. share/lean4/src/lean/Lean/ParserCompiler/Attribute.lean
  2322. share/lean4/src/lean/Lean/PrettyPrinter.lean
  2323. share/lean4/src/lean/Lean/PrettyPrinter/Basic.lean
  2324. share/lean4/src/lean/Lean/PrettyPrinter/Delaborator.lean
  2325. share/lean4/src/lean/Lean/PrettyPrinter/Delaborator/Basic.lean
  2326. share/lean4/src/lean/Lean/PrettyPrinter/Delaborator/Builtins.lean
  2327. share/lean4/src/lean/Lean/PrettyPrinter/Delaborator/Options.lean
  2328. share/lean4/src/lean/Lean/PrettyPrinter/Delaborator/SubExpr.lean
  2329. share/lean4/src/lean/Lean/PrettyPrinter/Delaborator/TopDownAnalyze.lean
  2330. share/lean4/src/lean/Lean/PrettyPrinter/Formatter.lean
  2331. share/lean4/src/lean/Lean/PrettyPrinter/Parenthesizer.lean
  2332. share/lean4/src/lean/Lean/ProjFns.lean
  2333. share/lean4/src/lean/Lean/ReducibilityAttrs.lean
  2334. share/lean4/src/lean/Lean/Replay.lean
  2335. share/lean4/src/lean/Lean/ResolveName.lean
  2336. share/lean4/src/lean/Lean/Runtime.lean
  2337. share/lean4/src/lean/Lean/ScopedEnvExtension.lean
  2338. share/lean4/src/lean/Lean/Server.lean
  2339. share/lean4/src/lean/Lean/Server/AsyncList.lean
  2340. share/lean4/src/lean/Lean/Server/CodeActions.lean
  2341. share/lean4/src/lean/Lean/Server/CodeActions/Attr.lean
  2342. share/lean4/src/lean/Lean/Server/CodeActions/Basic.lean
  2343. share/lean4/src/lean/Lean/Server/CodeActions/Provider.lean
  2344. share/lean4/src/lean/Lean/Server/Completion.lean
  2345. share/lean4/src/lean/Lean/Server/CompletionItemData.lean
  2346. share/lean4/src/lean/Lean/Server/FileSource.lean
  2347. share/lean4/src/lean/Lean/Server/FileWorker.lean
  2348. share/lean4/src/lean/Lean/Server/FileWorker/RequestHandling.lean
  2349. share/lean4/src/lean/Lean/Server/FileWorker/SetupFile.lean
  2350. share/lean4/src/lean/Lean/Server/FileWorker/Utils.lean
  2351. share/lean4/src/lean/Lean/Server/FileWorker/WidgetRequests.lean
  2352. share/lean4/src/lean/Lean/Server/GoTo.lean
  2353. share/lean4/src/lean/Lean/Server/ImportCompletion.lean
  2354. share/lean4/src/lean/Lean/Server/InfoUtils.lean
  2355. share/lean4/src/lean/Lean/Server/README.md
  2356. share/lean4/src/lean/Lean/Server/References.lean
  2357. share/lean4/src/lean/Lean/Server/Requests.lean
  2358. share/lean4/src/lean/Lean/Server/Rpc.lean
  2359. share/lean4/src/lean/Lean/Server/Rpc/Basic.lean
  2360. share/lean4/src/lean/Lean/Server/Rpc/Deriving.lean
  2361. share/lean4/src/lean/Lean/Server/Rpc/RequestHandling.lean
  2362. share/lean4/src/lean/Lean/Server/Snapshots.lean
  2363. share/lean4/src/lean/Lean/Server/Utils.lean
  2364. share/lean4/src/lean/Lean/Server/Watchdog.lean
  2365. share/lean4/src/lean/Lean/Structure.lean
  2366. share/lean4/src/lean/Lean/SubExpr.lean
  2367. share/lean4/src/lean/Lean/Syntax.lean
  2368. share/lean4/src/lean/Lean/ToExpr.lean
  2369. share/lean4/src/lean/Lean/Util.lean
  2370. share/lean4/src/lean/Lean/Util/CollectFVars.lean
  2371. share/lean4/src/lean/Lean/Util/CollectLevelParams.lean
  2372. share/lean4/src/lean/Lean/Util/CollectMVars.lean
  2373. share/lean4/src/lean/Lean/Util/FileSetupInfo.lean
  2374. share/lean4/src/lean/Lean/Util/FindExpr.lean
  2375. share/lean4/src/lean/Lean/Util/FindLevelMVar.lean
  2376. share/lean4/src/lean/Lean/Util/FindMVar.lean
  2377. share/lean4/src/lean/Lean/Util/FoldConsts.lean
  2378. share/lean4/src/lean/Lean/Util/ForEachExpr.lean
  2379. share/lean4/src/lean/Lean/Util/ForEachExprWhere.lean
  2380. share/lean4/src/lean/Lean/Util/HasConstCache.lean
  2381. share/lean4/src/lean/Lean/Util/Heartbeats.lean
  2382. share/lean4/src/lean/Lean/Util/InstantiateLevelParams.lean
  2383. share/lean4/src/lean/Lean/Util/LakePath.lean
  2384. share/lean4/src/lean/Lean/Util/LeanOptions.lean
  2385. share/lean4/src/lean/Lean/Util/MonadBacktrack.lean
  2386. share/lean4/src/lean/Lean/Util/MonadCache.lean
  2387. share/lean4/src/lean/Lean/Util/OccursCheck.lean
  2388. share/lean4/src/lean/Lean/Util/PPExt.lean
  2389. share/lean4/src/lean/Lean/Util/Path.lean
  2390. share/lean4/src/lean/Lean/Util/Paths.lean
  2391. share/lean4/src/lean/Lean/Util/Profile.lean
  2392. share/lean4/src/lean/Lean/Util/PtrSet.lean
  2393. share/lean4/src/lean/Lean/Util/RecDepth.lean
  2394. share/lean4/src/lean/Lean/Util/Recognizers.lean
  2395. share/lean4/src/lean/Lean/Util/ReplaceExpr.lean
  2396. share/lean4/src/lean/Lean/Util/ReplaceLevel.lean
  2397. share/lean4/src/lean/Lean/Util/SCC.lean
  2398. share/lean4/src/lean/Lean/Util/ShareCommon.lean
  2399. share/lean4/src/lean/Lean/Util/Sorry.lean
  2400. share/lean4/src/lean/Lean/Util/TestExtern.lean
  2401. share/lean4/src/lean/Lean/Util/Trace.lean
  2402. share/lean4/src/lean/Lean/Widget.lean
  2403. share/lean4/src/lean/Lean/Widget/Basic.lean
  2404. share/lean4/src/lean/Lean/Widget/Diff.lean
  2405. share/lean4/src/lean/Lean/Widget/InteractiveCode.lean
  2406. share/lean4/src/lean/Lean/Widget/InteractiveDiagnostic.lean
  2407. share/lean4/src/lean/Lean/Widget/InteractiveGoal.lean
  2408. share/lean4/src/lean/Lean/Widget/TaggedText.lean
  2409. share/lean4/src/lean/Lean/Widget/Types.lean
  2410. share/lean4/src/lean/Lean/Widget/UserWidget.lean
  2411. share/lean4/src/lean/Leanc.lean
  2412. share/lean4/src/lean/lake/Lake.lean
  2413. share/lean4/src/lean/lake/Lake/Build.lean
  2414. share/lean4/src/lean/lake/Lake/Build/Actions.lean
  2415. share/lean4/src/lean/lake/Lake/Build/Common.lean
  2416. share/lean4/src/lean/lake/Lake/Build/Context.lean
  2417. share/lean4/src/lean/lake/Lake/Build/Data.lean
  2418. share/lean4/src/lean/lake/Lake/Build/Executable.lean
  2419. share/lean4/src/lean/lake/Lake/Build/Facets.lean
  2420. share/lean4/src/lean/lake/Lake/Build/Imports.lean
  2421. share/lean4/src/lean/lake/Lake/Build/Index.lean
  2422. share/lean4/src/lean/lake/Lake/Build/Info.lean
  2423. share/lean4/src/lean/lake/Lake/Build/Job.lean
  2424. share/lean4/src/lean/lake/Lake/Build/Key.lean
  2425. share/lean4/src/lean/lake/Lake/Build/Library.lean
  2426. share/lean4/src/lean/lake/Lake/Build/Module.lean
  2427. share/lean4/src/lean/lake/Lake/Build/Monad.lean
  2428. share/lean4/src/lean/lake/Lake/Build/Package.lean
  2429. share/lean4/src/lean/lake/Lake/Build/Store.lean
  2430. share/lean4/src/lean/lake/Lake/Build/Targets.lean
  2431. share/lean4/src/lean/lake/Lake/Build/Topological.lean
  2432. share/lean4/src/lean/lake/Lake/Build/Trace.lean
  2433. share/lean4/src/lean/lake/Lake/CLI.lean
  2434. share/lean4/src/lean/lake/Lake/CLI/Actions.lean
  2435. share/lean4/src/lean/lake/Lake/CLI/Build.lean
  2436. share/lean4/src/lean/lake/Lake/CLI/Error.lean
  2437. share/lean4/src/lean/lake/Lake/CLI/Help.lean
  2438. share/lean4/src/lean/lake/Lake/CLI/Init.lean
  2439. share/lean4/src/lean/lake/Lake/CLI/Main.lean
  2440. share/lean4/src/lean/lake/Lake/CLI/Serve.lean
  2441. share/lean4/src/lean/lake/Lake/Config.lean
  2442. share/lean4/src/lean/lake/Lake/Config/Context.lean
  2443. share/lean4/src/lean/lake/Lake/Config/Defaults.lean
  2444. share/lean4/src/lean/lake/Lake/Config/Dependency.lean
  2445. share/lean4/src/lean/lake/Lake/Config/Env.lean
  2446. share/lean4/src/lean/lake/Lake/Config/ExternLib.lean
  2447. share/lean4/src/lean/lake/Lake/Config/ExternLibConfig.lean
  2448. share/lean4/src/lean/lake/Lake/Config/FacetConfig.lean
  2449. share/lean4/src/lean/lake/Lake/Config/Glob.lean
  2450. share/lean4/src/lean/lake/Lake/Config/InstallPath.lean
  2451. share/lean4/src/lean/lake/Lake/Config/LeanConfig.lean
  2452. share/lean4/src/lean/lake/Lake/Config/LeanExe.lean
  2453. share/lean4/src/lean/lake/Lake/Config/LeanExeConfig.lean
  2454. share/lean4/src/lean/lake/Lake/Config/LeanLib.lean
  2455. share/lean4/src/lean/lake/Lake/Config/LeanLibConfig.lean
  2456. share/lean4/src/lean/lake/Lake/Config/Module.lean
  2457. share/lean4/src/lean/lake/Lake/Config/Monad.lean
  2458. share/lean4/src/lean/lake/Lake/Config/Opaque.lean
  2459. share/lean4/src/lean/lake/Lake/Config/Package.lean
  2460. share/lean4/src/lean/lake/Lake/Config/Script.lean
  2461. share/lean4/src/lean/lake/Lake/Config/TargetConfig.lean
  2462. share/lean4/src/lean/lake/Lake/Config/Workspace.lean
  2463. share/lean4/src/lean/lake/Lake/Config/WorkspaceConfig.lean
  2464. share/lean4/src/lean/lake/Lake/DSL.lean
  2465. share/lean4/src/lean/lake/Lake/DSL/Attributes.lean
  2466. share/lean4/src/lean/lake/Lake/DSL/Config.lean
  2467. share/lean4/src/lean/lake/Lake/DSL/DeclUtil.lean
  2468. share/lean4/src/lean/lake/Lake/DSL/Extensions.lean
  2469. share/lean4/src/lean/lake/Lake/DSL/Meta.lean
  2470. share/lean4/src/lean/lake/Lake/DSL/Package.lean
  2471. share/lean4/src/lean/lake/Lake/DSL/Require.lean
  2472. share/lean4/src/lean/lake/Lake/DSL/Script.lean
  2473. share/lean4/src/lean/lake/Lake/DSL/Targets.lean
  2474. share/lean4/src/lean/lake/Lake/Load.lean
  2475. share/lean4/src/lean/lake/Lake/Load/Config.lean
  2476. share/lean4/src/lean/lake/Lake/Load/Elab.lean
  2477. share/lean4/src/lean/lake/Lake/Load/Main.lean
  2478. share/lean4/src/lean/lake/Lake/Load/Manifest.lean
  2479. share/lean4/src/lean/lake/Lake/Load/Materialize.lean
  2480. share/lean4/src/lean/lake/Lake/Load/Package.lean
  2481. share/lean4/src/lean/lake/Lake/Main.lean
  2482. share/lean4/src/lean/lake/Lake/Util/Async.lean
  2483. share/lean4/src/lean/lake/Lake/Util/Binder.lean
  2484. share/lean4/src/lean/lake/Lake/Util/Casing.lean
  2485. share/lean4/src/lean/lake/Lake/Util/Cli.lean
  2486. share/lean4/src/lean/lake/Lake/Util/Compare.lean
  2487. share/lean4/src/lean/lake/Lake/Util/Cycle.lean
  2488. share/lean4/src/lean/lake/Lake/Util/DRBMap.lean
  2489. share/lean4/src/lean/lake/Lake/Util/EStateT.lean
  2490. share/lean4/src/lean/lake/Lake/Util/EquipT.lean
  2491. share/lean4/src/lean/lake/Lake/Util/Error.lean
  2492. share/lean4/src/lean/lake/Lake/Util/Exit.lean
  2493. share/lean4/src/lean/lake/Lake/Util/Family.lean
  2494. share/lean4/src/lean/lake/Lake/Util/Git.lean
  2495. share/lean4/src/lean/lake/Lake/Util/Lift.lean
  2496. share/lean4/src/lean/lake/Lake/Util/List.lean
  2497. share/lean4/src/lean/lake/Lake/Util/Log.lean
  2498. share/lean4/src/lean/lake/Lake/Util/MainM.lean
  2499. share/lean4/src/lean/lake/Lake/Util/Name.lean
  2500. share/lean4/src/lean/lake/Lake/Util/NativeLib.lean
  2501. share/lean4/src/lean/lake/Lake/Util/Opaque.lean
  2502. share/lean4/src/lean/lake/Lake/Util/OptionIO.lean
  2503. share/lean4/src/lean/lake/Lake/Util/OrdHashSet.lean
  2504. share/lean4/src/lean/lake/Lake/Util/OrderedTagAttribute.lean
  2505. share/lean4/src/lean/lake/Lake/Util/Proc.lean
  2506. share/lean4/src/lean/lake/Lake/Util/RBArray.lean
  2507. share/lean4/src/lean/lake/Lake/Util/Store.lean
  2508. share/lean4/src/lean/lake/Lake/Util/StoreInsts.lean
  2509. share/lean4/src/lean/lake/Lake/Util/Sugar.lean
  2510. share/lean4/src/lean/lake/Lake/Util/Task.lean
  2511. share/lean4/src/lean/lake/Lake/Version.lean
  2512. share/lean4/src/lean/lake/README.md
  2513. share/lean4/src/lean/lake/lakefile.lean
  2514. share/lean4/src/lean/lake/tests/badImport/Lib/A.lean
  2515. share/lean4/src/lean/lake/tests/badImport/Lib/B.lean
  2516. share/lean4/src/lean/lake/tests/badImport/X.lean
  2517. share/lean4/src/lean/lake/tests/badImport/lakefile.lean
  2518. share/lean4/src/lean/lake/tests/buildArgs/Hello.lean
  2519. share/lean4/src/lean/lake/tests/buildArgs/Main.lean
  2520. share/lean4/src/lean/lake/tests/buildArgs/foo.lean
  2521. share/lean4/src/lean/lake/tests/buildArgs/lakefile.lean
  2522. share/lean4/src/lean/lake/tests/clone/test/Main.lean
  2523. share/lean4/src/lean/lake/tests/clone/test/lakefile.lean
  2524. share/lean4/src/lean/lake/tests/globs/TBA.lean
  2525. share/lean4/src/lean/lake/tests/globs/TBA/Eulerian.lean
  2526. share/lean4/src/lean/lake/tests/globs/TBA/Eulerian/A.lean
  2527. share/lean4/src/lean/lake/tests/globs/Test/1.lean
  2528. share/lean4/src/lean/lake/tests/globs/Test/Subtest/1.lean
  2529. share/lean4/src/lean/lake/tests/globs/lakefile.lean
  2530. share/lean4/src/lean/lake/tests/llvm-bitcode-gen/LlvmBitcodeGen.lean
  2531. share/lean4/src/lean/lake/tests/llvm-bitcode-gen/LlvmBitcodeGen/Basic.lean
  2532. share/lean4/src/lean/lake/tests/llvm-bitcode-gen/Main.lean
  2533. share/lean4/src/lean/lake/tests/llvm-bitcode-gen/lakefile.lean
  2534. share/lean4/src/lean/lake/tests/lock/Error.lean
  2535. share/lean4/src/lean/lake/tests/lock/Loop.lean
  2536. share/lean4/src/lean/lake/tests/lock/Nop.lean
  2537. share/lean4/src/lean/lake/tests/lock/Wait.lean
  2538. share/lean4/src/lean/lake/tests/lock/lakefile.lean
  2539. share/lean4/src/lean/lake/tests/manifest/bar/lakefile.lean
  2540. share/lean4/src/lean/lake/tests/manifest/foo/lakefile.lean
  2541. share/lean4/src/lean/lake/tests/manifest/lakefile.lean
  2542. share/lean4/src/lean/lake/tests/meta/lakefile.lean
  2543. share/lean4/src/lean/lake/tests/noBuild/Test.lean
  2544. share/lean4/src/lean/lake/tests/noBuild/lakefile.lean
  2545. share/lean4/src/lean/lake/tests/order/A.lean
  2546. share/lean4/src/lean/lake/tests/order/A/B.lean
  2547. share/lean4/src/lean/lake/tests/order/A/B/C.lean
  2548. share/lean4/src/lean/lake/tests/order/Y.lean
  2549. share/lean4/src/lean/lake/tests/order/bar/X.lean
  2550. share/lean4/src/lean/lake/tests/order/bar/Y.lean
  2551. share/lean4/src/lean/lake/tests/order/bar/lakefile.lean
  2552. share/lean4/src/lean/lake/tests/order/foo/X.lean
  2553. share/lean4/src/lean/lake/tests/order/foo/Y.lean
  2554. share/lean4/src/lean/lake/tests/order/foo/lakefile.lean
  2555. share/lean4/src/lean/lake/tests/order/lakefile.lean
  2556. share/lean4/src/lean/lake/tests/postUpdate/dep/hello.lean
  2557. share/lean4/src/lean/lake/tests/postUpdate/dep/lakefile.lean
  2558. share/lean4/src/lean/lake/tests/postUpdate/lakefile.lean
  2559. share/lean4/src/lean/lake/tests/precompileArgs/Foo.lean
  2560. share/lean4/src/lean/lake/tests/precompileArgs/Foo/Bar.lean
  2561. share/lean4/src/lean/lake/tests/precompileArgs/lakefile.lean
  2562. share/lean4/src/lean/lake/tests/rebuild/Main.lean
  2563. share/lean4/src/lean/lake/tests/rebuild/lakefile.lean
  2564. @owner
  2565. @group
  2566. @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 = 1713025323 SHA256 (leanprover-lean4-v4.7.0_GH0.tar.gz) = b1f00b5f2431b34aeacba993c4f4675211a3827e96c4b1a06054c58188ae72c8 SIZE (leanprover-lean4-v4.7.0_GH0.tar.gz) = 19261610
Packages (timestamps in pop-ups are UTC):
lean4
ABIaarch64amd64armv6armv7i386powerpcpowerpc64powerpc64le
FreeBSD:13:latest4.7.04.7.0------
FreeBSD:13:quarterly4.6.04.6.0------
FreeBSD:14:latest4.6.04.7.0------
FreeBSD:14:quarterly4.6.04.6.0------
FreeBSD:15:latest4.7.04.7.0n/a4.5.0n/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. cmake : devel/cmake-core
  3. gmake>=4.4.1 : devel/gmake
  4. python3.9 : lang/python39
Library dependencies:
  1. libgmp.so : math/gmp
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
pkg-message:
For install:
================================================================================ You installed Lean: The Theorem Prover. (1) Please note that Lean requires /proc to be mounted. The usual way to do this is to add this line to /etc/fstab: proc /proc procfs rw 0 0 and then run this command as root: # mount /proc (2) You might also want to install mathlibtools (math/mathlibtools) in case you need to use the mathematical library of Lean. mathlibtools download this library to user's home directory for further use by Lean. ================================================================================
Master Sites:
Expand this list (1 items)
Collapse this list.
  1. https://codeload.github.com/leanprover/lean4/tar.gz/v4.7.0?dummy=/
Collapse this list.

Number of commits found: 7

Commit History - (may be incomplete: for full details, see links to repositories near top of page)
CommitCreditsLog message
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: 7
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
chromiumMay 02
RMay 02
ungoogled-chromiumMay 02
hcodeMay 01
glpiApr 28
py-social-auth-app-djangoApr 28
chromiumApr 25
glpi*Apr 25
glpi*Apr 25
glpi*Apr 25
glpi*Apr 25
glpi*Apr 25
glpi*Apr 25
glpi*Apr 25
glpi*Apr 25

36 vulnerabilities affecting 192 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities

Last processed:
2024-05-02 10:37:19 UTC


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)

Calculated hourly:
Port count 32205
Broken 81
Deprecated 156
Ignore 212
Forbidden 2
Restricted 2
No CDROM 1
Vulnerable 38
Expired 13
Set to expire 129
Interactive 0
new 24 hours 0
new 48 hours0
new 7 days12
new fortnight32
new month94
Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD 		Valid HTML, CSS, and RSS. Copyright © 2000-2024 Dan Langille. All rights reserved.