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 on branch 2022Q3
lean Theorem prover
3.44.1_1 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 3.44.1_1Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2022-09-05 17:54:06
Last Update: 2022-09-05 17:52:20
Commit Hash: 56e03a4
License: APACHE20
WWW:
https://leanprover-community.github.io/
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. WWW: https://leanprover-community.github.io/
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 (758 items)
Collapse this list.
  1. /usr/local/share/licenses/lean-3.44.1_1/catalog.mk
  2. /usr/local/share/licenses/lean-3.44.1_1/LICENSE
  3. /usr/local/share/licenses/lean-3.44.1_1/APACHE20
  4. bin/lean
  5. bin/leanchecker
  6. bin/leanpkg
  7. include/lean_ext/checker/simple_pp.h
  8. include/lean_ext/checker/text_import.h
  9. include/lean_ext/frontends/lean/brackets.h
  10. include/lean_ext/frontends/lean/builtin_cmds.h
  11. include/lean_ext/frontends/lean/builtin_exprs.h
  12. include/lean_ext/frontends/lean/calc.h
  13. include/lean_ext/frontends/lean/cmd_table.h
  14. include/lean_ext/frontends/lean/completion.h
  15. include/lean_ext/frontends/lean/decl_attributes.h
  16. include/lean_ext/frontends/lean/decl_cmds.h
  17. include/lean_ext/frontends/lean/decl_util.h
  18. include/lean_ext/frontends/lean/definition_cmds.h
  19. include/lean_ext/frontends/lean/dependencies.h
  20. include/lean_ext/frontends/lean/elaborator.h
  21. include/lean_ext/frontends/lean/inductive_cmds.h
  22. include/lean_ext/frontends/lean/info_manager.h
  23. include/lean_ext/frontends/lean/init_module.h
  24. include/lean_ext/frontends/lean/interactive.h
  25. include/lean_ext/frontends/lean/json.h
  26. include/lean_ext/frontends/lean/local_context_adapter.h
  27. include/lean_ext/frontends/lean/local_decls.h
  28. include/lean_ext/frontends/lean/local_level_decls.h
  29. include/lean_ext/frontends/lean/match_expr.h
  30. include/lean_ext/frontends/lean/module_parser.h
  31. include/lean_ext/frontends/lean/notation_cmd.h
  32. include/lean_ext/frontends/lean/parse_table.h
  33. include/lean_ext/frontends/lean/parser.h
  34. include/lean_ext/frontends/lean/parser_config.h
  35. include/lean_ext/frontends/lean/parser_pos_provider.h
  36. include/lean_ext/frontends/lean/parser_state.h
  37. include/lean_ext/frontends/lean/pp.h
  38. include/lean_ext/frontends/lean/prenum.h
  39. include/lean_ext/frontends/lean/print_cmd.h
  40. include/lean_ext/frontends/lean/scanner.h
  41. include/lean_ext/frontends/lean/structure_cmd.h
  42. include/lean_ext/frontends/lean/structure_instance.h
  43. include/lean_ext/frontends/lean/tactic_notation.h
  44. include/lean_ext/frontends/lean/token_table.h
  45. include/lean_ext/frontends/lean/tokens.h
  46. include/lean_ext/frontends/lean/type_util.h
  47. include/lean_ext/frontends/lean/user_command.h
  48. include/lean_ext/frontends/lean/user_notation.h
  49. include/lean_ext/frontends/lean/util.h
  50. include/lean_ext/frontends/lean/widget.h
  51. include/lean_ext/init/init.h
  52. include/lean_ext/kernel/abstract.h
  53. include/lean_ext/kernel/abstract_type_context.h
  54. include/lean_ext/kernel/cache_stack.h
  55. include/lean_ext/kernel/declaration.h
  56. include/lean_ext/kernel/environment.h
  57. include/lean_ext/kernel/equiv_manager.h
  58. include/lean_ext/kernel/error_msgs.h
  59. include/lean_ext/kernel/expr.h
  60. include/lean_ext/kernel/expr_cache.h
  61. include/lean_ext/kernel/expr_eq_fn.h
  62. include/lean_ext/kernel/expr_maps.h
  63. include/lean_ext/kernel/expr_pair.h
  64. include/lean_ext/kernel/expr_sets.h
  65. include/lean_ext/kernel/ext_exception.h
  66. include/lean_ext/kernel/find_fn.h
  67. include/lean_ext/kernel/for_each_fn.h
  68. include/lean_ext/kernel/formatter.h
  69. include/lean_ext/kernel/free_vars.h
  70. include/lean_ext/kernel/inductive/inductive.h
  71. include/lean_ext/kernel/init_module.h
  72. include/lean_ext/kernel/instantiate.h
  73. include/lean_ext/kernel/kernel_exception.h
  74. include/lean_ext/kernel/level.h
  75. include/lean_ext/kernel/normalizer_extension.h
  76. include/lean_ext/kernel/pos_info_provider.h
  77. include/lean_ext/kernel/quotient/quotient.h
  78. include/lean_ext/kernel/replace_fn.h
  79. include/lean_ext/kernel/scope_pos_info_provider.h
  80. include/lean_ext/kernel/standard_kernel.h
  81. include/lean_ext/kernel/type_checker.h
  82. include/lean_ext/library/abstract_context_cache.h
  83. include/lean_ext/library/abstract_parser.h
  84. include/lean_ext/library/ac_match.h
  85. include/lean_ext/library/aliases.h
  86. include/lean_ext/library/annotation.h
  87. include/lean_ext/library/app_builder.h
  88. include/lean_ext/library/ast_exporter.h
  89. include/lean_ext/library/attribute_manager.h
  90. include/lean_ext/library/aux_definition.h
  91. include/lean_ext/library/aux_recursors.h
  92. include/lean_ext/library/bin_app.h
  93. include/lean_ext/library/cache_helper.h
  94. include/lean_ext/library/check.h
  95. include/lean_ext/library/choice.h
  96. include/lean_ext/library/class.h
  97. include/lean_ext/library/comp_val.h
  98. include/lean_ext/library/compiler/comp_irrelevant.h
  99. include/lean_ext/library/compiler/compiler_step_visitor.h
  100. include/lean_ext/library/compiler/cse.h
  101. include/lean_ext/library/compiler/elim_recursors.h
  102. include/lean_ext/library/compiler/elim_unused_lets.h
  103. include/lean_ext/library/compiler/erase_irrelevant.h
  104. include/lean_ext/library/compiler/eta_expansion.h
  105. include/lean_ext/library/compiler/extract_values.h
  106. include/lean_ext/library/compiler/init_module.h
  107. include/lean_ext/library/compiler/inliner.h
  108. include/lean_ext/library/compiler/lambda_lifting.h
  109. include/lean_ext/library/compiler/nat_value.h
  110. include/lean_ext/library/compiler/preprocess.h
  111. include/lean_ext/library/compiler/procedure.h
  112. include/lean_ext/library/compiler/rec_fn_macro.h
  113. include/lean_ext/library/compiler/reduce_arity.h
  114. include/lean_ext/library/compiler/simp_inductive.h
  115. include/lean_ext/library/compiler/util.h
  116. include/lean_ext/library/compiler/vm_compiler.h
  117. include/lean_ext/library/congr_lemma.h
  118. include/lean_ext/library/constants.h
  119. include/lean_ext/library/constructions/brec_on.h
  120. include/lean_ext/library/constructions/cases_on.h
  121. include/lean_ext/library/constructions/constructor.h
  122. include/lean_ext/library/constructions/drec.h
  123. include/lean_ext/library/constructions/has_sizeof.h
  124. include/lean_ext/library/constructions/init_module.h
  125. include/lean_ext/library/constructions/injective.h
  126. include/lean_ext/library/constructions/no_confusion.h
  127. include/lean_ext/library/constructions/projection.h
  128. include/lean_ext/library/constructions/rec_on.h
  129. include/lean_ext/library/constructions/util.h
  130. include/lean_ext/library/context_cache.h
  131. include/lean_ext/library/deep_copy.h
  132. include/lean_ext/library/defeq_canonizer.h
  133. include/lean_ext/library/delayed_abstraction.h
  134. include/lean_ext/library/discr_tree.h
  135. include/lean_ext/library/documentation.h
  136. include/lean_ext/library/elab_context.h
  137. include/lean_ext/library/equations_compiler/compiler.h
  138. include/lean_ext/library/equations_compiler/elim_match.h
  139. include/lean_ext/library/equations_compiler/equations.h
  140. include/lean_ext/library/equations_compiler/init_module.h
  141. include/lean_ext/library/equations_compiler/pack_domain.h
  142. include/lean_ext/library/equations_compiler/pack_mutual.h
  143. include/lean_ext/library/equations_compiler/structural_rec.h
  144. include/lean_ext/library/equations_compiler/unbounded_rec.h
  145. include/lean_ext/library/equations_compiler/util.h
  146. include/lean_ext/library/equations_compiler/wf_rec.h
  147. include/lean_ext/library/eval_helper.h
  148. include/lean_ext/library/exception.h
  149. include/lean_ext/library/explicit.h
  150. include/lean_ext/library/export.h
  151. include/lean_ext/library/export_decl.h
  152. include/lean_ext/library/expr_address.h
  153. include/lean_ext/library/expr_lt.h
  154. include/lean_ext/library/expr_pair.h
  155. include/lean_ext/library/expr_pair_maps.h
  156. include/lean_ext/library/expr_unsigned_map.h
  157. include/lean_ext/library/feature_search.h
  158. include/lean_ext/library/fingerprint.h
  159. include/lean_ext/library/fun_info.h
  160. include/lean_ext/library/handle.h
  161. include/lean_ext/library/head_map.h
  162. include/lean_ext/library/idx_metavar.h
  163. include/lean_ext/library/inductive_compiler/add_decl.h
  164. include/lean_ext/library/inductive_compiler/basic.h
  165. include/lean_ext/library/inductive_compiler/compiler.h
  166. include/lean_ext/library/inductive_compiler/ginductive.h
  167. include/lean_ext/library/inductive_compiler/ginductive_decl.h
  168. include/lean_ext/library/inductive_compiler/init_module.h
  169. include/lean_ext/library/inductive_compiler/mutual.h
  170. include/lean_ext/library/inductive_compiler/nested.h
  171. include/lean_ext/library/inductive_compiler/util.h
  172. include/lean_ext/library/init_module.h
  173. include/lean_ext/library/inverse.h
  174. include/lean_ext/library/io_state.h
  175. include/lean_ext/library/io_state_stream.h
  176. include/lean_ext/library/kernel_serializer.h
  177. include/lean_ext/library/library_task_builder.h
  178. include/lean_ext/library/local_context.h
  179. include/lean_ext/library/local_instances.h
  180. include/lean_ext/library/locals.h
  181. include/lean_ext/library/max_sharing.h
  182. include/lean_ext/library/message_builder.h
  183. include/lean_ext/library/messages.h
  184. include/lean_ext/library/metavar_context.h
  185. include/lean_ext/library/metavar_util.h
  186. include/lean_ext/library/module.h
  187. include/lean_ext/library/module_mgr.h
  188. include/lean_ext/library/mt_task_queue.h
  189. include/lean_ext/library/native_compiler/cpp_compiler.h
  190. include/lean_ext/library/noncomputable.h
  191. include/lean_ext/library/normalize.h
  192. include/lean_ext/library/num.h
  193. include/lean_ext/library/parray.h
  194. include/lean_ext/library/pattern_attribute.h
  195. include/lean_ext/library/persistent_context_cache.h
  196. include/lean_ext/library/phash_map.h
  197. include/lean_ext/library/phashtable.h
  198. include/lean_ext/library/pipe.h
  199. include/lean_ext/library/placeholder.h
  200. include/lean_ext/library/pp_options.h
  201. include/lean_ext/library/predict/predict.h
  202. include/lean_ext/library/print.h
  203. include/lean_ext/library/private.h
  204. include/lean_ext/library/process.h
  205. include/lean_ext/library/profiling.h
  206. include/lean_ext/library/projection.h
  207. include/lean_ext/library/protected.h
  208. include/lean_ext/library/quote.h
  209. include/lean_ext/library/reducible.h
  210. include/lean_ext/library/relation_manager.h
  211. include/lean_ext/library/replace_visitor.h
  212. include/lean_ext/library/replace_visitor_with_tc.h
  213. include/lean_ext/library/scoped_ext.h
  214. include/lean_ext/library/shared_environment.h
  215. include/lean_ext/library/sorry.h
  216. include/lean_ext/library/st_task_queue.h
  217. include/lean_ext/library/string.h
  218. include/lean_ext/library/tactic/ac_tactics.h
  219. include/lean_ext/library/tactic/algebraic_normalizer.h
  220. include/lean_ext/library/tactic/app_builder_tactics.h
  221. include/lean_ext/library/tactic/apply_tactic.h
  222. include/lean_ext/library/tactic/assert_tactic.h
  223. include/lean_ext/library/tactic/backward/backward_chaining.h
  224. include/lean_ext/library/tactic/backward/backward_lemmas.h
  225. include/lean_ext/library/tactic/backward/init_module.h
  226. include/lean_ext/library/tactic/cases_tactic.h
  227. include/lean_ext/library/tactic/change_tactic.h
  228. include/lean_ext/library/tactic/clear_tactic.h
  229. include/lean_ext/library/tactic/congr_lemma_tactics.h
  230. include/lean_ext/library/tactic/destruct_tactic.h
  231. include/lean_ext/library/tactic/dsimplify.h
  232. include/lean_ext/library/tactic/elaborate.h
  233. include/lean_ext/library/tactic/elaborator_exception.h
  234. include/lean_ext/library/tactic/eqn_lemmas.h
  235. include/lean_ext/library/tactic/eval.h
  236. include/lean_ext/library/tactic/exact_tactic.h
  237. include/lean_ext/library/tactic/fun_info_tactics.h
  238. include/lean_ext/library/tactic/generalize_tactic.h
  239. include/lean_ext/library/tactic/gexpr.h
  240. include/lean_ext/library/tactic/hole_command.h
  241. include/lean_ext/library/tactic/hsubstitution.h
  242. include/lean_ext/library/tactic/induction_tactic.h
  243. include/lean_ext/library/tactic/init_module.h
  244. include/lean_ext/library/tactic/intro_tactic.h
  245. include/lean_ext/library/tactic/kabstract.h
  246. include/lean_ext/library/tactic/match_tactic.h
  247. include/lean_ext/library/tactic/occurrences.h
  248. include/lean_ext/library/tactic/revert_tactic.h
  249. include/lean_ext/library/tactic/rewrite_tactic.h
  250. include/lean_ext/library/tactic/simp_lemmas.h
  251. include/lean_ext/library/tactic/simp_result.h
  252. include/lean_ext/library/tactic/simp_util.h
  253. include/lean_ext/library/tactic/simplify.h
  254. include/lean_ext/library/tactic/smt/congruence_closure.h
  255. include/lean_ext/library/tactic/smt/congruence_tactics.h
  256. include/lean_ext/library/tactic/smt/ematch.h
  257. include/lean_ext/library/tactic/smt/hinst_lemmas.h
  258. include/lean_ext/library/tactic/smt/init_module.h
  259. include/lean_ext/library/tactic/smt/smt_state.h
  260. include/lean_ext/library/tactic/smt/theory_ac.h
  261. include/lean_ext/library/tactic/smt/util.h
  262. include/lean_ext/library/tactic/subst_tactic.h
  263. include/lean_ext/library/tactic/tactic_evaluator.h
  264. include/lean_ext/library/tactic/tactic_log.h
  265. include/lean_ext/library/tactic/tactic_state.h
  266. include/lean_ext/library/tactic/unfold_tactic.h
  267. include/lean_ext/library/tactic/user_attribute.h
  268. include/lean_ext/library/tactic/vm_local_context.h
  269. include/lean_ext/library/tactic/vm_monitor.h
  270. include/lean_ext/library/tactic/vm_type_context.h
  271. include/lean_ext/library/time_task.h
  272. include/lean_ext/library/tlean_exporter.h
  273. include/lean_ext/library/trace.h
  274. include/lean_ext/library/type_context.h
  275. include/lean_ext/library/typed_expr.h
  276. include/lean_ext/library/unfold_macros.h
  277. include/lean_ext/library/unification_hint.h
  278. include/lean_ext/library/unique_id.h
  279. include/lean_ext/library/update_declaration.h
  280. include/lean_ext/library/user_recursors.h
  281. include/lean_ext/library/util.h
  282. include/lean_ext/library/vm/init_module.h
  283. include/lean_ext/library/vm/interaction_state.h
  284. include/lean_ext/library/vm/interaction_state_imp.h
  285. include/lean_ext/library/vm/optimize.h
  286. include/lean_ext/library/vm/vm.h
  287. include/lean_ext/library/vm/vm_array.h
  288. include/lean_ext/library/vm/vm_aux.h
  289. include/lean_ext/library/vm/vm_declaration.h
  290. include/lean_ext/library/vm/vm_eformat.h
  291. include/lean_ext/library/vm/vm_environment.h
  292. include/lean_ext/library/vm/vm_exceptional.h
  293. include/lean_ext/library/vm/vm_expr.h
  294. include/lean_ext/library/vm/vm_float.h
  295. include/lean_ext/library/vm/vm_format.h
  296. include/lean_ext/library/vm/vm_int.h
  297. include/lean_ext/library/vm/vm_io.h
  298. include/lean_ext/library/vm/vm_json.h
  299. include/lean_ext/library/vm/vm_level.h
  300. include/lean_ext/library/vm/vm_list.h
  301. include/lean_ext/library/vm/vm_module_info.h
  302. include/lean_ext/library/vm/vm_name.h
  303. include/lean_ext/library/vm/vm_nat.h
  304. include/lean_ext/library/vm/vm_option.h
  305. include/lean_ext/library/vm/vm_options.h
  306. include/lean_ext/library/vm/vm_ordering.h
  307. include/lean_ext/library/vm/vm_override.h
  308. include/lean_ext/library/vm/vm_parser.h
  309. include/lean_ext/library/vm/vm_pexpr.h
  310. include/lean_ext/library/vm/vm_pos_info.h
  311. include/lean_ext/library/vm/vm_rb_map.h
  312. include/lean_ext/library/vm/vm_string.h
  313. include/lean_ext/library/vm/vm_task.h
  314. include/lean_ext/shell/emscripten.h
  315. include/lean_ext/shell/lean_js.h
  316. include/lean_ext/shell/server.h
  317. include/lean_ext/shell/simple_pos_info_provider.h
  318. include/lean_ext/util/ascii.h
  319. include/lean_ext/util/bit_tricks.h
  320. include/lean_ext/util/bitap_fuzzy_search.h
  321. include/lean_ext/util/buffer.h
  322. include/lean_ext/util/cancellable.h
  323. include/lean_ext/util/compiler_hints.h
  324. include/lean_ext/util/debug.h
  325. include/lean_ext/util/escaped.h
  326. include/lean_ext/util/exception.h
  327. include/lean_ext/util/exception_with_pos.h
  328. include/lean_ext/util/extensible_object.h
  329. include/lean_ext/util/file_lock.h
  330. include/lean_ext/util/flet.h
  331. include/lean_ext/util/freset.h
  332. include/lean_ext/util/fresh_name.h
  333. include/lean_ext/util/hash.h
  334. include/lean_ext/util/init_module.h
  335. include/lean_ext/util/int64.h
  336. include/lean_ext/util/interrupt.h
  337. include/lean_ext/util/lbool.h
  338. include/lean_ext/util/lean_json.h
  339. include/lean_ext/util/lean_path.h
  340. include/lean_ext/util/line_endings.h
  341. include/lean_ext/util/list.h
  342. include/lean_ext/util/list_fn.h
  343. include/lean_ext/util/log_tree.h
  344. include/lean_ext/util/lru_cache.h
  345. include/lean_ext/util/macros.h
  346. include/lean_ext/util/map.h
  347. include/lean_ext/util/memory.h
  348. include/lean_ext/util/memory_pool.h
  349. include/lean_ext/util/message_definitions.h
  350. include/lean_ext/util/name.h
  351. include/lean_ext/util/name_generator.h
  352. include/lean_ext/util/name_hash_map.h
  353. include/lean_ext/util/name_hash_set.h
  354. include/lean_ext/util/name_map.h
  355. include/lean_ext/util/name_set.h
  356. include/lean_ext/util/null_ostream.h
  357. include/lean_ext/util/numerics/mpq.h
  358. include/lean_ext/util/numerics/mpz.h
  359. include/lean_ext/util/object_serializer.h
  360. include/lean_ext/util/optional.h
  361. include/lean_ext/util/output_channel.h
  362. include/lean_ext/util/pair.h
  363. include/lean_ext/util/parser_exception.h
  364. include/lean_ext/util/path.h
  365. include/lean_ext/util/priority_queue.h
  366. include/lean_ext/util/rb_map.h
  367. include/lean_ext/util/rb_multi_map.h
  368. include/lean_ext/util/rb_tree.h
  369. include/lean_ext/util/rc.h
  370. include/lean_ext/util/safe_arith.h
  371. include/lean_ext/util/scoped_map.h
  372. include/lean_ext/util/scoped_set.h
  373. include/lean_ext/util/sequence.h
  374. include/lean_ext/util/serializer.h
  375. include/lean_ext/util/sexpr/format.h
  376. include/lean_ext/util/sexpr/init_module.h
  377. include/lean_ext/util/sexpr/option_declarations.h
  378. include/lean_ext/util/sexpr/options.h
  379. include/lean_ext/util/sexpr/sexpr.h
  380. include/lean_ext/util/sexpr/sexpr_fn.h
  381. include/lean_ext/util/shared_mutex.h
  382. include/lean_ext/util/small_object_allocator.h
  383. include/lean_ext/util/sstream.h
  384. include/lean_ext/util/stackinfo.h
  385. include/lean_ext/util/subscripted_name_set.h
  386. include/lean_ext/util/task.h
  387. include/lean_ext/util/task_builder.h
  388. include/lean_ext/util/test.h
  389. include/lean_ext/util/thread.h
  390. include/lean_ext/util/timeit.h
  391. include/lean_ext/util/timer.h
  392. include/lean_ext/util/trie.h
  393. include/lean_ext/util/unit.h
  394. include/lean_ext/util/unlock_guard.h
  395. include/lean_ext/util/utf8.h
  396. include/lean_ext/util/worker_queue.h
  397. lib/lean/leanpkg/README.md
  398. lib/lean/leanpkg/leanpkg.toml
  399. lib/lean/leanpkg/leanpkg/git.lean
  400. lib/lean/leanpkg/leanpkg/lean_version.lean
  401. lib/lean/leanpkg/leanpkg/main.lean
  402. lib/lean/leanpkg/leanpkg/manifest.lean
  403. lib/lean/leanpkg/leanpkg/proc.lean
  404. lib/lean/leanpkg/leanpkg/resolve.lean
  405. lib/lean/leanpkg/leanpkg/toml.lean
  406. lib/lean/library/data/buffer.lean
  407. lib/lean/library/data/buffer.olean
  408. lib/lean/library/data/buffer/parser.lean
  409. lib/lean/library/data/buffer/parser.olean
  410. lib/lean/library/data/dlist.lean
  411. lib/lean/library/data/dlist.olean
  412. lib/lean/library/data/vector.lean
  413. lib/lean/library/data/vector.olean
  414. lib/lean/library/init/algebra/classes.lean
  415. lib/lean/library/init/algebra/classes.olean
  416. lib/lean/library/init/algebra/default.lean
  417. lib/lean/library/init/algebra/default.olean
  418. lib/lean/library/init/algebra/functions.lean
  419. lib/lean/library/init/algebra/functions.olean
  420. lib/lean/library/init/algebra/order.lean
  421. lib/lean/library/init/algebra/order.olean
  422. lib/lean/library/init/cc_lemmas.lean
  423. lib/lean/library/init/cc_lemmas.olean
  424. lib/lean/library/init/classical.lean
  425. lib/lean/library/init/classical.olean
  426. lib/lean/library/init/coe.lean
  427. lib/lean/library/init/coe.olean
  428. lib/lean/library/init/control/alternative.lean
  429. lib/lean/library/init/control/alternative.olean
  430. lib/lean/library/init/control/applicative.lean
  431. lib/lean/library/init/control/applicative.olean
  432. lib/lean/library/init/control/combinators.lean
  433. lib/lean/library/init/control/combinators.olean
  434. lib/lean/library/init/control/default.lean
  435. lib/lean/library/init/control/default.olean
  436. lib/lean/library/init/control/except.lean
  437. lib/lean/library/init/control/except.olean
  438. lib/lean/library/init/control/functor.lean
  439. lib/lean/library/init/control/functor.olean
  440. lib/lean/library/init/control/id.lean
  441. lib/lean/library/init/control/id.olean
  442. lib/lean/library/init/control/lawful.lean
  443. lib/lean/library/init/control/lawful.olean
  444. lib/lean/library/init/control/lift.lean
  445. lib/lean/library/init/control/lift.olean
  446. lib/lean/library/init/control/monad.lean
  447. lib/lean/library/init/control/monad.olean
  448. lib/lean/library/init/control/monad_fail.lean
  449. lib/lean/library/init/control/monad_fail.olean
  450. lib/lean/library/init/control/option.lean
  451. lib/lean/library/init/control/option.olean
  452. lib/lean/library/init/control/reader.lean
  453. lib/lean/library/init/control/reader.olean
  454. lib/lean/library/init/control/state.lean
  455. lib/lean/library/init/control/state.olean
  456. lib/lean/library/init/core.lean
  457. lib/lean/library/init/core.olean
  458. lib/lean/library/init/data/array/basic.lean
  459. lib/lean/library/init/data/array/basic.olean
  460. lib/lean/library/init/data/array/default.lean
  461. lib/lean/library/init/data/array/default.olean
  462. lib/lean/library/init/data/array/slice.lean
  463. lib/lean/library/init/data/array/slice.olean
  464. lib/lean/library/init/data/basic.lean
  465. lib/lean/library/init/data/basic.olean
  466. lib/lean/library/init/data/bool/basic.lean
  467. lib/lean/library/init/data/bool/basic.olean
  468. lib/lean/library/init/data/bool/default.lean
  469. lib/lean/library/init/data/bool/default.olean
  470. lib/lean/library/init/data/bool/lemmas.lean
  471. lib/lean/library/init/data/bool/lemmas.olean
  472. lib/lean/library/init/data/char/basic.lean
  473. lib/lean/library/init/data/char/basic.olean
  474. lib/lean/library/init/data/char/classes.lean
  475. lib/lean/library/init/data/char/classes.olean
  476. lib/lean/library/init/data/char/default.lean
  477. lib/lean/library/init/data/char/default.olean
  478. lib/lean/library/init/data/char/lemmas.lean
  479. lib/lean/library/init/data/char/lemmas.olean
  480. lib/lean/library/init/data/default.lean
  481. lib/lean/library/init/data/default.olean
  482. lib/lean/library/init/data/fin/basic.lean
  483. lib/lean/library/init/data/fin/basic.olean
  484. lib/lean/library/init/data/fin/default.lean
  485. lib/lean/library/init/data/fin/default.olean
  486. lib/lean/library/init/data/fin/ops.lean
  487. lib/lean/library/init/data/fin/ops.olean
  488. lib/lean/library/init/data/int/basic.lean
  489. lib/lean/library/init/data/int/basic.olean
  490. lib/lean/library/init/data/int/bitwise.lean
  491. lib/lean/library/init/data/int/bitwise.olean
  492. lib/lean/library/init/data/int/comp_lemmas.lean
  493. lib/lean/library/init/data/int/comp_lemmas.olean
  494. lib/lean/library/init/data/int/default.lean
  495. lib/lean/library/init/data/int/default.olean
  496. lib/lean/library/init/data/int/order.lean
  497. lib/lean/library/init/data/int/order.olean
  498. lib/lean/library/init/data/list/basic.lean
  499. lib/lean/library/init/data/list/basic.olean
  500. lib/lean/library/init/data/list/default.lean
  501. lib/lean/library/init/data/list/default.olean
  502. lib/lean/library/init/data/list/instances.lean
  503. lib/lean/library/init/data/list/instances.olean
  504. lib/lean/library/init/data/list/lemmas.lean
  505. lib/lean/library/init/data/list/lemmas.olean
  506. lib/lean/library/init/data/list/qsort.lean
  507. lib/lean/library/init/data/list/qsort.olean
  508. lib/lean/library/init/data/nat/basic.lean
  509. lib/lean/library/init/data/nat/basic.olean
  510. lib/lean/library/init/data/nat/bitwise.lean
  511. lib/lean/library/init/data/nat/bitwise.olean
  512. lib/lean/library/init/data/nat/default.lean
  513. lib/lean/library/init/data/nat/default.olean
  514. lib/lean/library/init/data/nat/div.lean
  515. lib/lean/library/init/data/nat/div.olean
  516. lib/lean/library/init/data/nat/gcd.lean
  517. lib/lean/library/init/data/nat/gcd.olean
  518. lib/lean/library/init/data/nat/lemmas.lean
  519. lib/lean/library/init/data/nat/lemmas.olean
  520. lib/lean/library/init/data/option/basic.lean
  521. lib/lean/library/init/data/option/basic.olean
  522. lib/lean/library/init/data/option/instances.lean
  523. lib/lean/library/init/data/option/instances.olean
  524. lib/lean/library/init/data/ordering/basic.lean
  525. lib/lean/library/init/data/ordering/basic.olean
  526. lib/lean/library/init/data/ordering/default.lean
  527. lib/lean/library/init/data/ordering/default.olean
  528. lib/lean/library/init/data/ordering/lemmas.lean
  529. lib/lean/library/init/data/ordering/lemmas.olean
  530. lib/lean/library/init/data/prod.lean
  531. lib/lean/library/init/data/prod.olean
  532. lib/lean/library/init/data/punit.lean
  533. lib/lean/library/init/data/punit.olean
  534. lib/lean/library/init/data/quot.lean
  535. lib/lean/library/init/data/quot.olean
  536. lib/lean/library/init/data/repr.lean
  537. lib/lean/library/init/data/repr.olean
  538. lib/lean/library/init/data/set.lean
  539. lib/lean/library/init/data/set.olean
  540. lib/lean/library/init/data/setoid.lean
  541. lib/lean/library/init/data/setoid.olean
  542. lib/lean/library/init/data/sigma/basic.lean
  543. lib/lean/library/init/data/sigma/basic.olean
  544. lib/lean/library/init/data/sigma/default.lean
  545. lib/lean/library/init/data/sigma/default.olean
  546. lib/lean/library/init/data/sigma/lex.lean
  547. lib/lean/library/init/data/sigma/lex.olean
  548. lib/lean/library/init/data/string/basic.lean
  549. lib/lean/library/init/data/string/basic.olean
  550. lib/lean/library/init/data/string/default.lean
  551. lib/lean/library/init/data/string/default.olean
  552. lib/lean/library/init/data/string/ops.lean
  553. lib/lean/library/init/data/string/ops.olean
  554. lib/lean/library/init/data/subtype/basic.lean
  555. lib/lean/library/init/data/subtype/basic.olean
  556. lib/lean/library/init/data/subtype/default.lean
  557. lib/lean/library/init/data/subtype/default.olean
  558. lib/lean/library/init/data/subtype/instances.lean
  559. lib/lean/library/init/data/subtype/instances.olean
  560. lib/lean/library/init/data/sum/basic.lean
  561. lib/lean/library/init/data/sum/basic.olean
  562. lib/lean/library/init/data/sum/default.lean
  563. lib/lean/library/init/data/sum/default.olean
  564. lib/lean/library/init/data/sum/instances.lean
  565. lib/lean/library/init/data/sum/instances.olean
  566. lib/lean/library/init/data/to_string.lean
  567. lib/lean/library/init/data/to_string.olean
  568. lib/lean/library/init/data/unsigned/basic.lean
  569. lib/lean/library/init/data/unsigned/basic.olean
  570. lib/lean/library/init/data/unsigned/default.lean
  571. lib/lean/library/init/data/unsigned/default.olean
  572. lib/lean/library/init/data/unsigned/ops.lean
  573. lib/lean/library/init/data/unsigned/ops.olean
  574. lib/lean/library/init/default.lean
  575. lib/lean/library/init/default.olean
  576. lib/lean/library/init/function.lean
  577. lib/lean/library/init/function.olean
  578. lib/lean/library/init/funext.lean
  579. lib/lean/library/init/funext.olean
  580. lib/lean/library/init/init.md
  581. lib/lean/library/init/ite_simp.lean
  582. lib/lean/library/init/ite_simp.olean
  583. lib/lean/library/init/logic.lean
  584. lib/lean/library/init/logic.olean
  585. lib/lean/library/init/meta/ac_tactics.lean
  586. lib/lean/library/init/meta/ac_tactics.olean
  587. lib/lean/library/init/meta/async_tactic.lean
  588. lib/lean/library/init/meta/async_tactic.olean
  589. lib/lean/library/init/meta/attribute.lean
  590. lib/lean/library/init/meta/attribute.olean
  591. lib/lean/library/init/meta/backward.lean
  592. lib/lean/library/init/meta/backward.olean
  593. lib/lean/library/init/meta/case_tag.lean
  594. lib/lean/library/init/meta/case_tag.olean
  595. lib/lean/library/init/meta/comp_value_tactics.lean
  596. lib/lean/library/init/meta/comp_value_tactics.olean
  597. lib/lean/library/init/meta/congr_lemma.lean
  598. lib/lean/library/init/meta/congr_lemma.olean
  599. lib/lean/library/init/meta/congr_tactic.lean
  600. lib/lean/library/init/meta/congr_tactic.olean
  601. lib/lean/library/init/meta/constructor_tactic.lean
  602. lib/lean/library/init/meta/constructor_tactic.olean
  603. lib/lean/library/init/meta/contradiction_tactic.lean
  604. lib/lean/library/init/meta/contradiction_tactic.olean
  605. lib/lean/library/init/meta/converter/conv.lean
  606. lib/lean/library/init/meta/converter/conv.olean
  607. lib/lean/library/init/meta/converter/default.lean
  608. lib/lean/library/init/meta/converter/default.olean
  609. lib/lean/library/init/meta/converter/interactive.lean
  610. lib/lean/library/init/meta/converter/interactive.olean
  611. lib/lean/library/init/meta/decl_cmds.lean
  612. lib/lean/library/init/meta/decl_cmds.olean
  613. lib/lean/library/init/meta/declaration.lean
  614. lib/lean/library/init/meta/declaration.olean
  615. lib/lean/library/init/meta/default.lean
  616. lib/lean/library/init/meta/default.olean
  617. lib/lean/library/init/meta/derive.lean
  618. lib/lean/library/init/meta/derive.olean
  619. lib/lean/library/init/meta/environment.lean
  620. lib/lean/library/init/meta/environment.olean
  621. lib/lean/library/init/meta/exceptional.lean
  622. lib/lean/library/init/meta/exceptional.olean
  623. lib/lean/library/init/meta/expr.lean
  624. lib/lean/library/init/meta/expr.olean
  625. lib/lean/library/init/meta/expr_address.lean
  626. lib/lean/library/init/meta/expr_address.olean
  627. lib/lean/library/init/meta/feature_search.lean
  628. lib/lean/library/init/meta/feature_search.olean
  629. lib/lean/library/init/meta/float.lean
  630. lib/lean/library/init/meta/float.olean
  631. lib/lean/library/init/meta/format.lean
  632. lib/lean/library/init/meta/format.olean
  633. lib/lean/library/init/meta/fun_info.lean
  634. lib/lean/library/init/meta/fun_info.olean
  635. lib/lean/library/init/meta/has_reflect.lean
  636. lib/lean/library/init/meta/has_reflect.olean
  637. lib/lean/library/init/meta/hole_command.lean
  638. lib/lean/library/init/meta/hole_command.olean
  639. lib/lean/library/init/meta/injection_tactic.lean
  640. lib/lean/library/init/meta/injection_tactic.olean
  641. lib/lean/library/init/meta/instance_cache.lean
  642. lib/lean/library/init/meta/instance_cache.olean
  643. lib/lean/library/init/meta/interaction_monad.lean
  644. lib/lean/library/init/meta/interaction_monad.olean
  645. lib/lean/library/init/meta/interactive.lean
  646. lib/lean/library/init/meta/interactive.olean
  647. lib/lean/library/init/meta/interactive_base.lean
  648. lib/lean/library/init/meta/interactive_base.olean
  649. lib/lean/library/init/meta/json.lean
  650. lib/lean/library/init/meta/json.olean
  651. lib/lean/library/init/meta/lean/parser.lean
  652. lib/lean/library/init/meta/lean/parser.olean
  653. lib/lean/library/init/meta/level.lean
  654. lib/lean/library/init/meta/level.olean
  655. lib/lean/library/init/meta/local_context.lean
  656. lib/lean/library/init/meta/local_context.olean
  657. lib/lean/library/init/meta/match_tactic.lean
  658. lib/lean/library/init/meta/match_tactic.olean
  659. lib/lean/library/init/meta/mk_dec_eq_instance.lean
  660. lib/lean/library/init/meta/mk_dec_eq_instance.olean
  661. lib/lean/library/init/meta/mk_has_reflect_instance.lean
  662. lib/lean/library/init/meta/mk_has_reflect_instance.olean
  663. lib/lean/library/init/meta/mk_has_sizeof_instance.lean
  664. lib/lean/library/init/meta/mk_has_sizeof_instance.olean
  665. lib/lean/library/init/meta/mk_inhabited_instance.lean
  666. lib/lean/library/init/meta/mk_inhabited_instance.olean
  667. lib/lean/library/init/meta/module_info.lean
  668. lib/lean/library/init/meta/module_info.olean
  669. lib/lean/library/init/meta/name.lean
  670. lib/lean/library/init/meta/name.olean
  671. lib/lean/library/init/meta/occurrences.lean
  672. lib/lean/library/init/meta/occurrences.olean
  673. lib/lean/library/init/meta/options.lean
  674. lib/lean/library/init/meta/options.olean
  675. lib/lean/library/init/meta/pexpr.lean
  676. lib/lean/library/init/meta/pexpr.olean
  677. lib/lean/library/init/meta/rb_map.lean
  678. lib/lean/library/init/meta/rb_map.olean
  679. lib/lean/library/init/meta/rec_util.lean
  680. lib/lean/library/init/meta/rec_util.olean
  681. lib/lean/library/init/meta/ref.lean
  682. lib/lean/library/init/meta/ref.olean
  683. lib/lean/library/init/meta/relation_tactics.lean
  684. lib/lean/library/init/meta/relation_tactics.olean
  685. lib/lean/library/init/meta/rewrite_tactic.lean
  686. lib/lean/library/init/meta/rewrite_tactic.olean
  687. lib/lean/library/init/meta/set_get_option_tactics.lean
  688. lib/lean/library/init/meta/set_get_option_tactics.olean
  689. lib/lean/library/init/meta/simp_tactic.lean
  690. lib/lean/library/init/meta/simp_tactic.olean
  691. lib/lean/library/init/meta/smt/congruence_closure.lean
  692. lib/lean/library/init/meta/smt/congruence_closure.olean
  693. lib/lean/library/init/meta/smt/default.lean
  694. lib/lean/library/init/meta/smt/default.olean
  695. lib/lean/library/init/meta/smt/ematch.lean
  696. lib/lean/library/init/meta/smt/ematch.olean
  697. lib/lean/library/init/meta/smt/interactive.lean
  698. lib/lean/library/init/meta/smt/interactive.olean
  699. lib/lean/library/init/meta/smt/rsimp.lean
  700. lib/lean/library/init/meta/smt/rsimp.olean
  701. lib/lean/library/init/meta/smt/smt_tactic.lean
  702. lib/lean/library/init/meta/smt/smt_tactic.olean
  703. lib/lean/library/init/meta/tactic.lean
  704. lib/lean/library/init/meta/tactic.olean
  705. lib/lean/library/init/meta/tagged_format.lean
  706. lib/lean/library/init/meta/tagged_format.olean
  707. lib/lean/library/init/meta/task.lean
  708. lib/lean/library/init/meta/task.olean
  709. lib/lean/library/init/meta/type_context.lean
  710. lib/lean/library/init/meta/type_context.olean
  711. lib/lean/library/init/meta/vm.lean
  712. lib/lean/library/init/meta/vm.olean
  713. lib/lean/library/init/meta/well_founded_tactics.lean
  714. lib/lean/library/init/meta/well_founded_tactics.olean
  715. lib/lean/library/init/meta/widget/basic.lean
  716. lib/lean/library/init/meta/widget/basic.olean
  717. lib/lean/library/init/meta/widget/default.lean
  718. lib/lean/library/init/meta/widget/default.olean
  719. lib/lean/library/init/meta/widget/html_cmd.lean
  720. lib/lean/library/init/meta/widget/html_cmd.olean
  721. lib/lean/library/init/meta/widget/interactive_expr.lean
  722. lib/lean/library/init/meta/widget/interactive_expr.olean
  723. lib/lean/library/init/meta/widget/replace_save_info.lean
  724. lib/lean/library/init/meta/widget/replace_save_info.olean
  725. lib/lean/library/init/meta/widget/tactic_component.lean
  726. lib/lean/library/init/meta/widget/tactic_component.olean
  727. lib/lean/library/init/propext.lean
  728. lib/lean/library/init/propext.olean
  729. lib/lean/library/init/util.lean
  730. lib/lean/library/init/util.olean
  731. lib/lean/library/init/version.lean
  732. lib/lean/library/init/version.olean
  733. lib/lean/library/init/wf.lean
  734. lib/lean/library/init/wf.olean
  735. lib/lean/library/library.md
  736. lib/lean/library/smt/arith.lean
  737. lib/lean/library/smt/arith.olean
  738. lib/lean/library/smt/array.lean
  739. lib/lean/library/smt/array.olean
  740. lib/lean/library/smt/default.lean
  741. lib/lean/library/smt/default.olean
  742. lib/lean/library/smt/prove.lean
  743. lib/lean/library/smt/prove.olean
  744. lib/lean/library/system/io.lean
  745. lib/lean/library/system/io.olean
  746. lib/lean/library/system/io_interface.lean
  747. lib/lean/library/system/io_interface.olean
  748. lib/lean/library/system/random.lean
  749. lib/lean/library/system/random.olean
  750. lib/lean/library/tools/debugger/cli.lean
  751. lib/lean/library/tools/debugger/cli.olean
  752. lib/lean/library/tools/debugger/default.lean
  753. lib/lean/library/tools/debugger/default.olean
  754. lib/lean/library/tools/debugger/util.lean
  755. lib/lean/library/tools/debugger/util.olean
  756. @owner
  757. @group
  758. @mode
Collapse this list.
Dependency lines:
  • lean>0:math/lean
To install the port:
cd /usr/ports/math/lean/ && make install clean
To add the package, run one of these commands:
  • pkg install math/lean
  • pkg install lean
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.
PKGNAME: lean
Flavors: there is no flavor information for this port.
distinfo:
TIMESTAMP = 1656441065 SHA256 (leanprover-community-lean-v3.44.1_GH0.tar.gz) = ec2ec2156b8dcfd287b6cc6d9ea75d8c8e9da2ba223e83d834c2b1fb46528bed SIZE (leanprover-community-lean-v3.44.1_GH0.tar.gz) = 1911708

No package information for this port in our database
Sometimes this happens. Not all ports have packages.
Dependencies
NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
Build dependencies:
  1. cmake : devel/cmake
  2. ninja : devel/ninja
Library dependencies:
  1. libgmp.so : math/gmp
There are no ports dependent upon this port

Configuration Options:
No options to configure
Options name:
math_lean
USES:
cmake:testing compiler:c++11-lang
pkg-message:
For install:
You installed lean: The Theorem Prover. 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
Master Sites:
Expand this list (1 items)
Collapse this list.
  1. https://codeload.github.com/leanprover-community/lean/tar.gz/v3.44.1?dummy=/
Collapse this list.

Number of commits found: 1

Commit History - (may be incomplete: for full details, see links to repositories near top of page)
CommitCreditsLog message
3.44.1_1
05 Sep 2022 17:52:20
commit hash: 56e03a4e58bc9d9380a8e0cd94274bfcde1a89c3commit hash: 56e03a4e58bc9d9380a8e0cd94274bfcde1a89c3commit hash: 56e03a4e58bc9d9380a8e0cd94274bfcde1a89c3commit hash: 56e03a4e58bc9d9380a8e0cd94274bfcde1a89c3 files touched by this commit
Yuri Victorovich (yuri) search for other commits by this committer
math/lean: Fix performance problem

Pre-compiled library files weren't installed due to some bug
which made lean very slow.

(cherry picked from commit 2317424cb6092aa0430b738cd19199089dfb3bab)

Number of commits found: 1