notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)Want a good monitor light? See my photosAll times are UTC		 Ukraine
Port details
lean Theorem prover
3.51.1 math Deleted on this many watch lists=3 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.51.1Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2018-07-22 05:59:10
Last Update: 2024-10-30 19:55:11
Commit Hash: b71b1b7
People watching this port, also watch:: zbar, isc-cron, monit, cronic
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.
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.51.1/catalog.mk
  2. /usr/local/share/licenses/lean-3.51.1/LICENSE
  3. /usr/local/share/licenses/lean-3.51.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
No installation instructions:
This port has been deleted.
PKGNAME: lean
Flavors: there is no flavor information for this port.
distinfo:
TIMESTAMP = 1685072378 SHA256 (leanprover-community-lean-v3.51.1_GH0.tar.gz) = 5a4734bf345d6c5ba6eacd2d33d86d9540eea7d008b4ebf8dde126e729fcbcaf SIZE (leanprover-community-lean-v3.51.1_GH0.tar.gz) = 1918894

Expand this list (2 items)

Collapse this list.

SHA256 (5eecaa0b9c860858372a22ab242566671907c913.patch) = 971765311b28bfc850803f355e9607dee5aa537565d24ffdc52562b6d874e99a SIZE (5eecaa0b9c860858372a22ab242566671907c913.patch) = 3218

Collapse this list.

Packages (timestamps in pop-ups are UTC):
lean
ABIaarch64amd64armv6armv7i386powerpcpowerpc64powerpc64le
FreeBSD:13:latest--3.24.0---3.24.0-
FreeBSD:13:quarterly-3.51.1--3.51.13.51.1-3.51.1
FreeBSD:14:latest-------3.51.1
FreeBSD:14:quarterly-3.51.1--3.51.1--3.51.1
FreeBSD:15:latest--n/a-n/a--3.51.1
Dependencies
NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
Build dependencies:
  1. cmake : devel/cmake-core
  2. ninja : devel/ninja
Library dependencies:
  1. libgmp.so : math/gmp
  2. libtcmalloc.so : devel/google-perftools
There are no ports dependent upon this port
Configuration Options:
===> The following configuration options are available for lean-3.51.1: TCMALLOC=on: Use the tcmalloc memory allocation library THREADS=on: Threading support ===> Use 'make config' to modify these settings
Options name:
math_lean
USES:
cmake:testing compiler:c++11-lang
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-community/lean/tar.gz/v3.51.1?dummy=/
Collapse this list.
Port Moves
  • port moved to math/lean4 on 2024-10-30
    REASON: lean has been superseded by lean4, new generation

Number of commits found: 60

Commit History - (may be incomplete: for full details, see links to repositories near top of page)
CommitCreditsLog message
3.51.1
30 Oct 2024 19:55:11
commit hash: b71b1b7da088dd6ec88cc38436d8c6dec8cd336bcommit hash: b71b1b7da088dd6ec88cc38436d8c6dec8cd336bcommit hash: b71b1b7da088dd6ec88cc38436d8c6dec8cd336bcommit hash: b71b1b7da088dd6ec88cc38436d8c6dec8cd336b files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/lean: Remove
3.51.1
07 Jun 2023 01:01:01
commit hash: fc32440b3d180df532a7c893844ed6c2af22c12ecommit hash: fc32440b3d180df532a7c893844ed6c2af22c12ecommit hash: fc32440b3d180df532a7c893844ed6c2af22c12ecommit hash: fc32440b3d180df532a7c893844ed6c2af22c12e files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
*/*: Remove TCMALLOC_DESC because it is now available in Mk
3.51.1
26 May 2023 05:29:42
commit hash: 67f6f78612e40f802d0689e29e1849aa6caae994commit hash: 67f6f78612e40f802d0689e29e1849aa6caae994commit hash: 67f6f78612e40f802d0689e29e1849aa6caae994commit hash: 67f6f78612e40f802d0689e29e1849aa6caae994 files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/lean: Update 3.51.0 → 3.51.1

Reported by:	portscout
3.51.0
19 May 2023 07:54:17
commit hash: 50a02f53258860b69de4c618a8f221d864a4f8c9commit hash: 50a02f53258860b69de4c618a8f221d864a4f8c9commit hash: 50a02f53258860b69de4c618a8f221d864a4f8c9commit hash: 50a02f53258860b69de4c618a8f221d864a4f8c9 files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/lean: Update 3.50.3 → 3.51.0

Reported by:	portscout
3.50.3
09 May 2023 19:54:44
commit hash: b23f1453d44c4affec34b06e8c8c1984617de286commit hash: b23f1453d44c4affec34b06e8c8c1984617de286commit hash: b23f1453d44c4affec34b06e8c8c1984617de286commit hash: b23f1453d44c4affec34b06e8c8c1984617de286 files touched by this commit		 Piotr Kubaj (pkubaj) search for other commits by this committer 
math/lean: disable TCMALLOC on powerpc to fix SIGILL during build
3.50.3
28 Dec 2022 04:01:50
commit hash: d4456ccb7b93a54c42733319a260cbf4a0f7588ccommit hash: d4456ccb7b93a54c42733319a260cbf4a0f7588ccommit hash: d4456ccb7b93a54c42733319a260cbf4a0f7588ccommit hash: d4456ccb7b93a54c42733319a260cbf4a0f7588c files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/lean: Update 3.50.2 -> 3.50.3

Reported by:	portscout
3.50.2
25 Dec 2022 01:22:57
commit hash: 41538b01f403e73768823ae9d2a896daefab5a30commit hash: 41538b01f403e73768823ae9d2a896daefab5a30commit hash: 41538b01f403e73768823ae9d2a896daefab5a30commit hash: 41538b01f403e73768823ae9d2a896daefab5a30 files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/lean: Update 3.50.1 -> 3.50.2

Reported by:	portscout
3.50.1
23 Dec 2022 03:37:14
commit hash: 01c9e72b4b5957735ae42b56015a1ea38988153fcommit hash: 01c9e72b4b5957735ae42b56015a1ea38988153fcommit hash: 01c9e72b4b5957735ae42b56015a1ea38988153fcommit hash: 01c9e72b4b5957735ae42b56015a1ea38988153f files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/lean: Update 3.49.1 -> 3.50.1

Reported by:	portscout
3.49.1
20 Nov 2022 00:10:48
commit hash: 4a11c6db362c1defdeeae3b7ab18dc7b6ccdca0dcommit hash: 4a11c6db362c1defdeeae3b7ab18dc7b6ccdca0dcommit hash: 4a11c6db362c1defdeeae3b7ab18dc7b6ccdca0dcommit hash: 4a11c6db362c1defdeeae3b7ab18dc7b6ccdca0d files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/lean: Update 3.49.0 -> 3.49.1

Reported by:	portscout
3.49.0
14 Nov 2022 04:53:42
commit hash: f92fcc849158d63a5623027a2a3fe8ac45187392commit hash: f92fcc849158d63a5623027a2a3fe8ac45187392commit hash: f92fcc849158d63a5623027a2a3fe8ac45187392commit hash: f92fcc849158d63a5623027a2a3fe8ac45187392 files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/lean: Update 3.48.0 -> 3.49.0

Reported by:	portscout
3.48.0_1
02 Oct 2022 22:33:03
commit hash: ba7784a72cbac279e18be84e545b34a27b9f4599commit hash: ba7784a72cbac279e18be84e545b34a27b9f4599commit hash: ba7784a72cbac279e18be84e545b34a27b9f4599commit hash: ba7784a72cbac279e18be84e545b34a27b9f4599 files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/lean: Broken on aarch64

Reported by:	fallout
07 Sep 2022 21:58:51
commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4 files touched by this commit		 Stefan Eßer (se) search for other commits by this committer 
Remove WWW entries moved into port Makefiles

Commit b7f05445c00f has added WWW entries to port Makefiles based on
WWW: lines in pkg-descr files.

This commit removes the WWW: lines of moved-over URLs from these
pkg-descr files.

Approved by:		portmgr (tcberner)
3.48.0_1
07 Sep 2022 21:10:59
commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52 files touched by this commit		 Stefan Eßer (se) search for other commits by this committer 
Add WWW entries to port Makefiles

It has been common practice to have one or more URLs at the end of the
ports' pkg-descr files, one per line and prefixed with "WWW:". These
URLs should point at a project website or other relevant resources.

Access to these URLs required processing of the pkg-descr files, and
they have often become stale over time. If more than one such URL was
present in a pkg-descr file, only the first one was tarnsfered into
the port INDEX, but for many ports only the last line did contain the
port specific URL to further information.

There have been several proposals to make a project URL available as
a macro in the ports' Makefiles, over time.
(Only the first 15 lines of the commit message are shown above View all of this commit message)
3.48.0_1
06 Sep 2022 16:06:07
commit hash: 258e95b1faee70d25f552938ee948972deb83b74commit hash: 258e95b1faee70d25f552938ee948972deb83b74commit hash: 258e95b1faee70d25f552938ee948972deb83b74commit hash: 258e95b1faee70d25f552938ee948972deb83b74 files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/lean: Add to pkg-message
3.48.0_1
05 Sep 2022 17:40:17
commit hash: 2317424cb6092aa0430b738cd19199089dfb3babcommit hash: 2317424cb6092aa0430b738cd19199089dfb3babcommit hash: 2317424cb6092aa0430b738cd19199089dfb3babcommit hash: 2317424cb6092aa0430b738cd19199089dfb3bab 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.
3.48.0
01 Sep 2022 04:12:35
commit hash: 82f91c596b3968e85de769e171453297c9c292cdcommit hash: 82f91c596b3968e85de769e171453297c9c292cdcommit hash: 82f91c596b3968e85de769e171453297c9c292cdcommit hash: 82f91c596b3968e85de769e171453297c9c292cd files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/lean: Update 3.47.0 -> 3.48.0; Add options TCMALLOC, THREADS

Also fix minor non-FreeBSD compatible code.
3.47.0
28 Aug 2022 21:53:19
commit hash: 7037112d6504b85bbbe83c43e6031a0c85e353facommit hash: 7037112d6504b85bbbe83c43e6031a0c85e353facommit hash: 7037112d6504b85bbbe83c43e6031a0c85e353facommit hash: 7037112d6504b85bbbe83c43e6031a0c85e353fa files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/lean: Update 3.46.0 -> 3.47.0

Reported by:	portscout
3.46.0
09 Aug 2022 22:57:59
commit hash: 467f9760bfc8301f93f324042d14b14426eb7ea7commit hash: 467f9760bfc8301f93f324042d14b14426eb7ea7commit hash: 467f9760bfc8301f93f324042d14b14426eb7ea7commit hash: 467f9760bfc8301f93f324042d14b14426eb7ea7 files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/lean: Update 3.45.0 -> 3.46.0

Reported by:	portscout
3.45.0
15 Jul 2022 03:42:13
commit hash: ad22189500c0d495001bb0f1f778c9e7a16d4012commit hash: ad22189500c0d495001bb0f1f778c9e7a16d4012commit hash: ad22189500c0d495001bb0f1f778c9e7a16d4012commit hash: ad22189500c0d495001bb0f1f778c9e7a16d4012 files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/lean: Update 3.44.1 -> 3.45.0

Reported by:	portscout
3.44.1
29 Jun 2022 05:25:07
commit hash: 4e6e44675b31a414c0eeef693104d18574ee0dd0commit hash: 4e6e44675b31a414c0eeef693104d18574ee0dd0commit hash: 4e6e44675b31a414c0eeef693104d18574ee0dd0commit hash: 4e6e44675b31a414c0eeef693104d18574ee0dd0 files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/lean: Update 3.44.0 -> 3.44.1

Reported by:	portscout
3.44.0
26 Jun 2022 02:22:57
commit hash: cad7f7290a850a4e78a73855e95d79ed0a504001commit hash: cad7f7290a850a4e78a73855e95d79ed0a504001commit hash: cad7f7290a850a4e78a73855e95d79ed0a504001commit hash: cad7f7290a850a4e78a73855e95d79ed0a504001 files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/lean: Update 3.43.0 -> 3.44.0

Reported by:	portscout
3.43.0
18 May 2022 20:51:36
commit hash: baeaf5e668c0a91d6144cb5ccba552ff446c17d8commit hash: baeaf5e668c0a91d6144cb5ccba552ff446c17d8commit hash: baeaf5e668c0a91d6144cb5ccba552ff446c17d8commit hash: baeaf5e668c0a91d6144cb5ccba552ff446c17d8 files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/lean: Update 3.42.1 -> 3.43.0

Reported by:	portscout
3.42.1
27 Mar 2022 03:19:38
commit hash: d935d553a588f8ee6d5aabd64d5c639a39f27717commit hash: d935d553a588f8ee6d5aabd64d5c639a39f27717commit hash: d935d553a588f8ee6d5aabd64d5c639a39f27717commit hash: d935d553a588f8ee6d5aabd64d5c639a39f27717 files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/lean: Update 3.42.0 -> 3.42.1

Reported by:	portscout
3.42.0
19 Mar 2022 23:29:22
commit hash: 242b737e1d3d142aa2b6a696c0e315f5dd7f8e91commit hash: 242b737e1d3d142aa2b6a696c0e315f5dd7f8e91commit hash: 242b737e1d3d142aa2b6a696c0e315f5dd7f8e91commit hash: 242b737e1d3d142aa2b6a696c0e315f5dd7f8e91 files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/lean: Update 3.41.0 -> 3.42.0

Reported by:	portscout
3.41.0
12 Mar 2022 20:23:27
commit hash: e1f09154ec27b7e92779c9a1fe4bbff0e6068e28commit hash: e1f09154ec27b7e92779c9a1fe4bbff0e6068e28commit hash: e1f09154ec27b7e92779c9a1fe4bbff0e6068e28commit hash: e1f09154ec27b7e92779c9a1fe4bbff0e6068e28 files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/lean: Update 3.40.0 -> 3.41.0

Reported by:	portscout
3.40.0
23 Feb 2022 17:02:06
commit hash: fc196e1ee8221856d385b609b8be2009d6968b71commit hash: fc196e1ee8221856d385b609b8be2009d6968b71commit hash: fc196e1ee8221856d385b609b8be2009d6968b71commit hash: fc196e1ee8221856d385b609b8be2009d6968b71 files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/lean: Update 3.39.2 -> 3.40.0

Reported by:	portscout
3.39.2
18 Feb 2022 17:10:04
commit hash: 5ac9d4b9786b20f249b42dfb7a240b2fbdaef45bcommit hash: 5ac9d4b9786b20f249b42dfb7a240b2fbdaef45bcommit hash: 5ac9d4b9786b20f249b42dfb7a240b2fbdaef45bcommit hash: 5ac9d4b9786b20f249b42dfb7a240b2fbdaef45b files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/lean: Update 3.39.1 -> 3.39.2

Reported by:	portscout
3.39.1
09 Feb 2022 17:00:16
commit hash: d47ab92634686c81c9078e39443017ae627993adcommit hash: d47ab92634686c81c9078e39443017ae627993adcommit hash: d47ab92634686c81c9078e39443017ae627993adcommit hash: d47ab92634686c81c9078e39443017ae627993ad files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/lean: Update 3.35.1 -> 3.39.1

Reported by:	portscout
3.35.1
13 Nov 2021 21:59:24
commit hash: 7eb99dcefbc4322dd30691d53e6affb93c5832a1commit hash: 7eb99dcefbc4322dd30691d53e6affb93c5832a1commit hash: 7eb99dcefbc4322dd30691d53e6affb93c5832a1commit hash: 7eb99dcefbc4322dd30691d53e6affb93c5832a1 files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/lean: Update 3.35.0 -> 3.35.1

Reported by:	portscout
3.35.0
31 Oct 2021 17:23:17
commit hash: 02cc8aec8fb73007cf609118a6dd981b1e8c40dbcommit hash: 02cc8aec8fb73007cf609118a6dd981b1e8c40dbcommit hash: 02cc8aec8fb73007cf609118a6dd981b1e8c40dbcommit hash: 02cc8aec8fb73007cf609118a6dd981b1e8c40db files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/lean: Update 3.33.0 -> 3.35.0

Reported by:	portscout
3.33.0
18 Sep 2021 17:48:27
commit hash: 172ac09c34d9ef66fb2804d768fca88d3d617a1acommit hash: 172ac09c34d9ef66fb2804d768fca88d3d617a1acommit hash: 172ac09c34d9ef66fb2804d768fca88d3d617a1acommit hash: 172ac09c34d9ef66fb2804d768fca88d3d617a1a files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/lean: Update 3.32.1 -> 3.33.0

Reported by:	portscout
3.32.1
15 Aug 2021 20:23:52
commit hash: baa577bb92d578879a01f6e060840ac66355dcb3commit hash: baa577bb92d578879a01f6e060840ac66355dcb3commit hash: baa577bb92d578879a01f6e060840ac66355dcb3commit hash: baa577bb92d578879a01f6e060840ac66355dcb3 files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/lean: Update 3.32.0 -> 3.32.1

Reported by:	portscout
3.32.0
11 Aug 2021 08:43:44
commit hash: fe78568326814a228dc447e37603d41bb5df48aecommit hash: fe78568326814a228dc447e37603d41bb5df48aecommit hash: fe78568326814a228dc447e37603d41bb5df48aecommit hash: fe78568326814a228dc447e37603d41bb5df48ae files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/lean: Update 3.31.0 -> 3.32.0

Reported by:	portscout
3.31.0
30 Jun 2021 17:47:12
commit hash: d33425f25661b0336d5f3d66b4638b56ff3a3d30commit hash: d33425f25661b0336d5f3d66b4638b56ff3a3d30commit hash: d33425f25661b0336d5f3d66b4638b56ff3a3d30commit hash: d33425f25661b0336d5f3d66b4638b56ff3a3d30 files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/lean: Update 3.30.0 -> 3.31.0

Reported by:	portscout
3.30.0
06 May 2021 17:59:22
commit hash: 4d3a799af9823c88000956f2bae681a12789007dcommit hash: 4d3a799af9823c88000956f2bae681a12789007dcommit hash: 4d3a799af9823c88000956f2bae681a12789007dcommit hash: 4d3a799af9823c88000956f2bae681a12789007d files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/lean: Update 3.29.0 -> 3.30.0

Reported by:	portscout
3.29.0
20 Apr 2021 20:47:42
commit hash: ef9fdd0756ce38d76b374c621a70ad9da1abc31ecommit hash: ef9fdd0756ce38d76b374c621a70ad9da1abc31ecommit hash: ef9fdd0756ce38d76b374c621a70ad9da1abc31ecommit hash: ef9fdd0756ce38d76b374c621a70ad9da1abc31e files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/lean: Update 3.28.0 -> 3.29.0

Reported by:	portscout
3.28.0_1
07 Apr 2021 08:09:01
commit hash: cf118ccf875508b9a1c570044c93cfcc82bd455ccommit hash: cf118ccf875508b9a1c570044c93cfcc82bd455ccommit hash: cf118ccf875508b9a1c570044c93cfcc82bd455ccommit hash: cf118ccf875508b9a1c570044c93cfcc82bd455c files touched by this commit		 Mathieu Arnold (mat) search for other commits by this committer 
One more small cleanup, forgotten yesterday.
Reported by:	lwhsu
3.28.0_1
06 Apr 2021 14:31:07
commit hash: 305f148f482daf30dcf728039d03d019f88344ebcommit hash: 305f148f482daf30dcf728039d03d019f88344ebcommit hash: 305f148f482daf30dcf728039d03d019f88344ebcommit hash: 305f148f482daf30dcf728039d03d019f88344eb files touched by this commit		 Mathieu Arnold (mat) search for other commits by this committer 
Remove # $FreeBSD$ from Makefiles.
3.28.0_1
28 Mar 2021 05:01:13
Revision:569374Original commit files touched by this commit		 yuri search for other commits by this committer 
math/lean: Add pkg-message with warning about /proc being required to be mounted

Reported by:	BRANDON BOCANEGRA <kakuhen@g.ucla.edu>
3.28.0
16 Mar 2021 17:14:39
Revision:568590Original commit files touched by this commit		 yuri search for other commits by this committer 
math/lean: Update 3.27.0 -> 3.28.0

Reported by:	portscout
3.27.0
26 Feb 2021 17:07:45
Revision:566620Original commit files touched by this commit		 yuri search for other commits by this committer 
math/lean: Update 3.26.0 -> 3.27.0

Reported by:	portscout
3.26.0
28 Jan 2021 22:41:15
Revision:563162Original commit files touched by this commit		 yuri search for other commits by this committer 
math/lean: Update 3.25.0 -> 3.26.0

Reported by:	portscout
3.25.0
23 Jan 2021 04:25:55
Revision:562369Original commit files touched by this commit		 yuri search for other commits by this committer 
math/lean: Update 3.24.0 -> 3.25.0

Reported by:	portscout
3.24.0
05 Jan 2021 22:09:23
Revision:560437Original commit files touched by this commit		 yuri search for other commits by this committer 
math/lean: Update 3.23.0 -> 3.24.0

Reported by:	portscout
3.23.0
31 Oct 2020 07:27:06
Revision:553737Original commit files touched by this commit		 yuri search for other commits by this committer 
math/lean: Update 3.22.0 -> 3.23.0

Reported by:	portscout
3.22.0
28 Oct 2020 00:16:29
Revision:553515Original commit files touched by this commit		 yuri search for other commits by this committer 
math/lean: Update 3.21.0 -> 3.22.0

Reported by:	portscout
3.21.0
12 Oct 2020 23:46:14
Revision:552157Original commit files touched by this commit		 yuri search for other commits by this committer 
math/lean: Update 3.20.0 -> 3.21.0

Reported by:	portscout
3.20.0
10 Sep 2020 18:14:45
Revision:548214Original commit files touched by this commit		 yuri search for other commits by this committer 
math/lean: Update 3.19.0 -> 3.20.0

Reported by:	portscout
3.19.0
27 Aug 2020 19:00:09
Revision:546581Original commit files touched by this commit		 yuri search for other commits by this committer 
math/lean: Update 3.18.4 -> 3.19.0

Reported by:	portscout
3.18.4
03 Aug 2020 03:21:10
Revision:544017Original commit files touched by this commit		 yuri search for other commits by this committer 
math/lean: Update 3.18.3 -> 3.18.4

Reported by:	portscout
3.18.3
30 Jul 2020 15:50:58
Revision:543797Original commit files touched by this commit		 yuri search for other commits by this committer 
math/lean: Update 3.18.2 -> 3.18.3

Reported by:	portscout
3.18.2
30 Jul 2020 00:55:24
Revision:543698Original commit files touched by this commit		 yuri search for other commits by this committer 
math/lean: Update 3.17.1 -> 3.18.2

Reported by:	portscout
3.17.1
21 Jul 2020 22:40:26
Revision:542813Original commit files touched by this commit		 yuri search for other commits by this committer 
math/lean: Update 3.4.2 -> 3.17.1

The original Microsoft's account 'leanprover' is now archived, and the community
account 'leanprover-community' carries the project on.

Also:
* remove tests from build
* add 'test' target
3.4.2_1
26 Jul 2019 20:46:57
Revision:507372Original commit files touched by this commit		 gerald search for other commits by this committer 
Bump PORTREVISION for ports depending on the canonical version of GCC
as defined in Mk/bsd.default-versions.mk which has moved from GCC 8.3
to GCC 9.1 under most circumstances now after revision 507371.

This includes ports
 - with USE_GCC=yes or USE_GCC=any,
 - with USES=fortran,
 - using Mk/bsd.octave.mk which in turn features USES=fortran, and
 - with USES=compiler specifying openmp, nestedfct, c11, c++0x, c++11-lang,
   c++11-lib, c++14-lang, c++17-lang, or gcc-c++11-lib
plus, everything INDEX-11 shows with a dependency on lang/gcc9 now.

PR:		238330
3.4.2
12 Mar 2019 01:23:46
Revision:495410Original commit files touched by this commit		 linimon search for other commits by this committer 
Fix build on gcc-based architectures:

    LEAN requires g++ 4.9 or greater.

Approved by:	portmgr (tier-2 blanket)
3.4.2
23 Jan 2019 09:59:55
Revision:491029Original commit files touched by this commit		 yuri search for other commits by this committer 
math/lean: Update 3.4.1 -> 3.4.2

Reported by:	portscout
3.4.1
25 Dec 2018 20:25:40
Revision:488341Original commit files touched by this commit		 tcberner search for other commits by this committer 
Change cmake default behaviour to outsource.

Ports that build out of source now simply can use "USES=cmake"
instead of "USES=cmake:outsource". Ports that fail to build
out of source now need to specify "USES=cmake:insource".

I tried to only set insource where explictely needed.

PR:		232038
Exp-run by:	antoine
3.4.1
25 Jul 2018 20:16:37
Revision:475334Original commit files touched by this commit		 yuri search for other commits by this committer 
math/lean: Add the PORTSCOUT line.

Avoid picking undesirable tags.
3.4.1
23 Jul 2018 07:49:06
Revision:475152Original commit files touched by this commit		 yuri search for other commits by this committer 
math/lean: Update 3.2.0-1147 -> 3.4.1 (move to a more recent repository)
3.2.0.1147
22 Jul 2018 05:58:39
Revision:475085Original commit files touched by this commit		 yuri search for other commits by this committer 
New port: math/lean: Theorem prover

Number of commits found: 60
Login
User Login
Create account

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

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

Search
Enter Keywords:
 
more...

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

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

* - modified, not new

All vulnerabilities

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


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)

Calculated hourly:
Port count 33184
Broken 114
Deprecated 195
Ignore 238
Forbidden 1
Restricted 1
No CDROM 1
Vulnerable 34
Expired 12
Set to expire 161
Interactive 0
new 24 hours 5
new 48 hours10
new 7 days48
new fortnight69
new month118
Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD 		Valid HTML, CSS, and RSS. Copyright © 2000-2024 Dan Langille. All rights reserved.