notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)

Current status

The server has been repaired, with a new power supply, for $23. I am waiting for lower COVID rates before visiting the datacenter to return it.
User login/updates are disabled as part of transition to git. Read details in our recent bog post - this is the old server.
Port details
lean Theorem prover
3.28.0_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.28.0_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: 2021-03-28 06:01:13
SVN Revision: 569374
License: APACHE20
Description:
SVNWeb : Homepage
pkg-plist: as obtained via: make generate-plist
Expand this list (590 items)
Collapse this list.
  1. /usr/local/share/licenses/lean-3.28.0_1/catalog.mk
  2. /usr/local/share/licenses/lean-3.28.0_1/LICENSE
  3. /usr/local/share/licenses/lean-3.28.0_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/attribute_manager.h
  89. include/lean_ext/library/aux_definition.h
  90. include/lean_ext/library/aux_recursors.h
  91. include/lean_ext/library/bin_app.h
  92. include/lean_ext/library/cache_helper.h
  93. include/lean_ext/library/check.h
  94. include/lean_ext/library/choice.h
  95. include/lean_ext/library/class.h
  96. include/lean_ext/library/comp_val.h
  97. include/lean_ext/library/compiler/comp_irrelevant.h
  98. include/lean_ext/library/compiler/compiler_step_visitor.h
  99. include/lean_ext/library/compiler/cse.h
  100. include/lean_ext/library/compiler/elim_recursors.h
  101. include/lean_ext/library/compiler/elim_unused_lets.h
  102. include/lean_ext/library/compiler/erase_irrelevant.h
  103. include/lean_ext/library/compiler/eta_expansion.h
  104. include/lean_ext/library/compiler/extract_values.h
  105. include/lean_ext/library/compiler/init_module.h
  106. include/lean_ext/library/compiler/inliner.h
  107. include/lean_ext/library/compiler/lambda_lifting.h
  108. include/lean_ext/library/compiler/nat_value.h
  109. include/lean_ext/library/compiler/preprocess.h
  110. include/lean_ext/library/compiler/procedure.h
  111. include/lean_ext/library/compiler/rec_fn_macro.h
  112. include/lean_ext/library/compiler/reduce_arity.h
  113. include/lean_ext/library/compiler/simp_inductive.h
  114. include/lean_ext/library/compiler/util.h
  115. include/lean_ext/library/compiler/vm_compiler.h
  116. include/lean_ext/library/congr_lemma.h
  117. include/lean_ext/library/constants.h
  118. include/lean_ext/library/constructions/brec_on.h
  119. include/lean_ext/library/constructions/cases_on.h
  120. include/lean_ext/library/constructions/constructor.h
  121. include/lean_ext/library/constructions/drec.h
  122. include/lean_ext/library/constructions/has_sizeof.h
  123. include/lean_ext/library/constructions/init_module.h
  124. include/lean_ext/library/constructions/injective.h
  125. include/lean_ext/library/constructions/no_confusion.h
  126. include/lean_ext/library/constructions/projection.h
  127. include/lean_ext/library/constructions/rec_on.h
  128. include/lean_ext/library/constructions/util.h
  129. include/lean_ext/library/context_cache.h
  130. include/lean_ext/library/deep_copy.h
  131. include/lean_ext/library/defeq_canonizer.h
  132. include/lean_ext/library/delayed_abstraction.h
  133. include/lean_ext/library/discr_tree.h
  134. include/lean_ext/library/documentation.h
  135. include/lean_ext/library/elab_context.h
  136. include/lean_ext/library/equations_compiler/compiler.h
  137. include/lean_ext/library/equations_compiler/elim_match.h
  138. include/lean_ext/library/equations_compiler/equations.h
  139. include/lean_ext/library/equations_compiler/init_module.h
  140. include/lean_ext/library/equations_compiler/pack_domain.h
  141. include/lean_ext/library/equations_compiler/pack_mutual.h
  142. include/lean_ext/library/equations_compiler/structural_rec.h
  143. include/lean_ext/library/equations_compiler/unbounded_rec.h
  144. include/lean_ext/library/equations_compiler/util.h
  145. include/lean_ext/library/equations_compiler/wf_rec.h
  146. include/lean_ext/library/eval_helper.h
  147. include/lean_ext/library/exception.h
  148. include/lean_ext/library/explicit.h
  149. include/lean_ext/library/export.h
  150. include/lean_ext/library/export_decl.h
  151. include/lean_ext/library/expr_address.h
  152. include/lean_ext/library/expr_lt.h
  153. include/lean_ext/library/expr_pair.h
  154. include/lean_ext/library/expr_pair_maps.h
  155. include/lean_ext/library/expr_unsigned_map.h
  156. include/lean_ext/library/fingerprint.h
  157. include/lean_ext/library/fun_info.h
  158. include/lean_ext/library/handle.h
  159. include/lean_ext/library/head_map.h
  160. include/lean_ext/library/idx_metavar.h
  161. include/lean_ext/library/inductive_compiler/add_decl.h
  162. include/lean_ext/library/inductive_compiler/basic.h
  163. include/lean_ext/library/inductive_compiler/compiler.h
  164. include/lean_ext/library/inductive_compiler/ginductive.h
  165. include/lean_ext/library/inductive_compiler/ginductive_decl.h
  166. include/lean_ext/library/inductive_compiler/init_module.h
  167. include/lean_ext/library/inductive_compiler/mutual.h
  168. include/lean_ext/library/inductive_compiler/nested.h
  169. include/lean_ext/library/inductive_compiler/util.h
  170. include/lean_ext/library/init_module.h
  171. include/lean_ext/library/inverse.h
  172. include/lean_ext/library/io_state.h
  173. include/lean_ext/library/io_state_stream.h
  174. include/lean_ext/library/kernel_serializer.h
  175. include/lean_ext/library/library_task_builder.h
  176. include/lean_ext/library/local_context.h
  177. include/lean_ext/library/local_instances.h
  178. include/lean_ext/library/locals.h
  179. include/lean_ext/library/max_sharing.h
  180. include/lean_ext/library/message_builder.h
  181. include/lean_ext/library/messages.h
  182. include/lean_ext/library/metavar_context.h
  183. include/lean_ext/library/metavar_util.h
  184. include/lean_ext/library/module.h
  185. include/lean_ext/library/module_mgr.h
  186. include/lean_ext/library/mt_task_queue.h
  187. include/lean_ext/library/native_compiler/cpp_compiler.h
  188. include/lean_ext/library/noncomputable.h
  189. include/lean_ext/library/normalize.h
  190. include/lean_ext/library/num.h
  191. include/lean_ext/library/parray.h
  192. include/lean_ext/library/pattern_attribute.h
  193. include/lean_ext/library/persistent_context_cache.h
  194. include/lean_ext/library/phash_map.h
  195. include/lean_ext/library/phashtable.h
  196. include/lean_ext/library/pipe.h
  197. include/lean_ext/library/placeholder.h
  198. include/lean_ext/library/pp_options.h
  199. include/lean_ext/library/print.h
  200. include/lean_ext/library/private.h
  201. include/lean_ext/library/process.h
  202. include/lean_ext/library/profiling.h
  203. include/lean_ext/library/projection.h
  204. include/lean_ext/library/protected.h
  205. include/lean_ext/library/quote.h
  206. include/lean_ext/library/reducible.h
  207. include/lean_ext/library/relation_manager.h
  208. include/lean_ext/library/replace_visitor.h
  209. include/lean_ext/library/replace_visitor_with_tc.h
  210. include/lean_ext/library/scoped_ext.h
  211. include/lean_ext/library/shared_environment.h
  212. include/lean_ext/library/sorry.h
  213. include/lean_ext/library/st_task_queue.h
  214. include/lean_ext/library/string.h
  215. include/lean_ext/library/tactic/ac_tactics.h
  216. include/lean_ext/library/tactic/algebraic_normalizer.h
  217. include/lean_ext/library/tactic/app_builder_tactics.h
  218. include/lean_ext/library/tactic/apply_tactic.h
  219. include/lean_ext/library/tactic/assert_tactic.h
  220. include/lean_ext/library/tactic/backward/backward_chaining.h
  221. include/lean_ext/library/tactic/backward/backward_lemmas.h
  222. include/lean_ext/library/tactic/backward/init_module.h
  223. include/lean_ext/library/tactic/cases_tactic.h
  224. include/lean_ext/library/tactic/change_tactic.h
  225. include/lean_ext/library/tactic/clear_tactic.h
  226. include/lean_ext/library/tactic/congr_lemma_tactics.h
  227. include/lean_ext/library/tactic/destruct_tactic.h
  228. include/lean_ext/library/tactic/dsimplify.h
  229. include/lean_ext/library/tactic/elaborate.h
  230. include/lean_ext/library/tactic/elaborator_exception.h
  231. include/lean_ext/library/tactic/eqn_lemmas.h
  232. include/lean_ext/library/tactic/eval.h
  233. include/lean_ext/library/tactic/exact_tactic.h
  234. include/lean_ext/library/tactic/fun_info_tactics.h
  235. include/lean_ext/library/tactic/generalize_tactic.h
  236. include/lean_ext/library/tactic/gexpr.h
  237. include/lean_ext/library/tactic/hole_command.h
  238. include/lean_ext/library/tactic/hsubstitution.h
  239. include/lean_ext/library/tactic/induction_tactic.h
  240. include/lean_ext/library/tactic/init_module.h
  241. include/lean_ext/library/tactic/intro_tactic.h
  242. include/lean_ext/library/tactic/kabstract.h
  243. include/lean_ext/library/tactic/match_tactic.h
  244. include/lean_ext/library/tactic/occurrences.h
  245. include/lean_ext/library/tactic/revert_tactic.h
  246. include/lean_ext/library/tactic/rewrite_tactic.h
  247. include/lean_ext/library/tactic/simp_lemmas.h
  248. include/lean_ext/library/tactic/simp_result.h
  249. include/lean_ext/library/tactic/simp_util.h
  250. include/lean_ext/library/tactic/simplify.h
  251. include/lean_ext/library/tactic/smt/congruence_closure.h
  252. include/lean_ext/library/tactic/smt/congruence_tactics.h
  253. include/lean_ext/library/tactic/smt/ematch.h
  254. include/lean_ext/library/tactic/smt/hinst_lemmas.h
  255. include/lean_ext/library/tactic/smt/init_module.h
  256. include/lean_ext/library/tactic/smt/smt_state.h
  257. include/lean_ext/library/tactic/smt/theory_ac.h
  258. include/lean_ext/library/tactic/smt/util.h
  259. include/lean_ext/library/tactic/subst_tactic.h
  260. include/lean_ext/library/tactic/tactic_evaluator.h
  261. include/lean_ext/library/tactic/tactic_state.h
  262. include/lean_ext/library/tactic/unfold_tactic.h
  263. include/lean_ext/library/tactic/user_attribute.h
  264. include/lean_ext/library/tactic/vm_local_context.h
  265. include/lean_ext/library/tactic/vm_monitor.h
  266. include/lean_ext/library/tactic/vm_type_context.h
  267. include/lean_ext/library/time_task.h
  268. include/lean_ext/library/tlean_exporter.h
  269. include/lean_ext/library/trace.h
  270. include/lean_ext/library/type_context.h
  271. include/lean_ext/library/typed_expr.h
  272. include/lean_ext/library/unfold_macros.h
  273. include/lean_ext/library/unification_hint.h
  274. include/lean_ext/library/unique_id.h
  275. include/lean_ext/library/update_declaration.h
  276. include/lean_ext/library/user_recursors.h
  277. include/lean_ext/library/util.h
  278. include/lean_ext/library/vm/init_module.h
  279. include/lean_ext/library/vm/interaction_state.h
  280. include/lean_ext/library/vm/interaction_state_imp.h
  281. include/lean_ext/library/vm/optimize.h
  282. include/lean_ext/library/vm/vm.h
  283. include/lean_ext/library/vm/vm_array.h
  284. include/lean_ext/library/vm/vm_aux.h
  285. include/lean_ext/library/vm/vm_declaration.h
  286. include/lean_ext/library/vm/vm_eformat.h
  287. include/lean_ext/library/vm/vm_environment.h
  288. include/lean_ext/library/vm/vm_exceptional.h
  289. include/lean_ext/library/vm/vm_expr.h
  290. include/lean_ext/library/vm/vm_float.h
  291. include/lean_ext/library/vm/vm_format.h
  292. include/lean_ext/library/vm/vm_int.h
  293. include/lean_ext/library/vm/vm_io.h
  294. include/lean_ext/library/vm/vm_json.h
  295. include/lean_ext/library/vm/vm_level.h
  296. include/lean_ext/library/vm/vm_list.h
  297. include/lean_ext/library/vm/vm_module_info.h
  298. include/lean_ext/library/vm/vm_name.h
  299. include/lean_ext/library/vm/vm_nat.h
  300. include/lean_ext/library/vm/vm_option.h
  301. include/lean_ext/library/vm/vm_options.h
  302. include/lean_ext/library/vm/vm_ordering.h
  303. include/lean_ext/library/vm/vm_override.h
  304. include/lean_ext/library/vm/vm_parser.h
  305. include/lean_ext/library/vm/vm_pexpr.h
  306. include/lean_ext/library/vm/vm_pos_info.h
  307. include/lean_ext/library/vm/vm_rb_map.h
  308. include/lean_ext/library/vm/vm_string.h
  309. include/lean_ext/library/vm/vm_task.h
  310. include/lean_ext/shell/emscripten.h
  311. include/lean_ext/shell/lean_js.h
  312. include/lean_ext/shell/server.h
  313. include/lean_ext/shell/simple_pos_info_provider.h
  314. include/lean_ext/util/ascii.h
  315. include/lean_ext/util/bit_tricks.h
  316. include/lean_ext/util/bitap_fuzzy_search.h
  317. include/lean_ext/util/buffer.h
  318. include/lean_ext/util/cancellable.h
  319. include/lean_ext/util/compiler_hints.h
  320. include/lean_ext/util/debug.h
  321. include/lean_ext/util/escaped.h
  322. include/lean_ext/util/exception.h
  323. include/lean_ext/util/exception_with_pos.h
  324. include/lean_ext/util/extensible_object.h
  325. include/lean_ext/util/file_lock.h
  326. include/lean_ext/util/flet.h
  327. include/lean_ext/util/freset.h
  328. include/lean_ext/util/fresh_name.h
  329. include/lean_ext/util/hash.h
  330. include/lean_ext/util/init_module.h
  331. include/lean_ext/util/int64.h
  332. include/lean_ext/util/interrupt.h
  333. include/lean_ext/util/lbool.h
  334. include/lean_ext/util/lean_path.h
  335. include/lean_ext/util/line_endings.h
  336. include/lean_ext/util/list.h
  337. include/lean_ext/util/list_fn.h
  338. include/lean_ext/util/log_tree.h
  339. include/lean_ext/util/lru_cache.h
  340. include/lean_ext/util/macros.h
  341. include/lean_ext/util/map.h
  342. include/lean_ext/util/memory.h
  343. include/lean_ext/util/memory_pool.h
  344. include/lean_ext/util/message_definitions.h
  345. include/lean_ext/util/name.h
  346. include/lean_ext/util/name_generator.h
  347. include/lean_ext/util/name_hash_map.h
  348. include/lean_ext/util/name_hash_set.h
  349. include/lean_ext/util/name_map.h
  350. include/lean_ext/util/name_set.h
  351. include/lean_ext/util/null_ostream.h
  352. include/lean_ext/util/numerics/mpq.h
  353. include/lean_ext/util/numerics/mpz.h
  354. include/lean_ext/util/object_serializer.h
  355. include/lean_ext/util/optional.h
  356. include/lean_ext/util/output_channel.h
  357. include/lean_ext/util/pair.h
  358. include/lean_ext/util/parser_exception.h
  359. include/lean_ext/util/path.h
  360. include/lean_ext/util/priority_queue.h
  361. include/lean_ext/util/rb_map.h
  362. include/lean_ext/util/rb_multi_map.h
  363. include/lean_ext/util/rb_tree.h
  364. include/lean_ext/util/rc.h
  365. include/lean_ext/util/safe_arith.h
  366. include/lean_ext/util/scoped_map.h
  367. include/lean_ext/util/scoped_set.h
  368. include/lean_ext/util/sequence.h
  369. include/lean_ext/util/serializer.h
  370. include/lean_ext/util/sexpr/format.h
  371. include/lean_ext/util/sexpr/init_module.h
  372. include/lean_ext/util/sexpr/option_declarations.h
  373. include/lean_ext/util/sexpr/options.h
  374. include/lean_ext/util/sexpr/sexpr.h
  375. include/lean_ext/util/sexpr/sexpr_fn.h
  376. include/lean_ext/util/shared_mutex.h
  377. include/lean_ext/util/small_object_allocator.h
  378. include/lean_ext/util/sstream.h
  379. include/lean_ext/util/stackinfo.h
  380. include/lean_ext/util/subscripted_name_set.h
  381. include/lean_ext/util/task.h
  382. include/lean_ext/util/task_builder.h
  383. include/lean_ext/util/test.h
  384. include/lean_ext/util/thread.h
  385. include/lean_ext/util/timeit.h
  386. include/lean_ext/util/timer.h
  387. include/lean_ext/util/trie.h
  388. include/lean_ext/util/unit.h
  389. include/lean_ext/util/unlock_guard.h
  390. include/lean_ext/util/utf8.h
  391. include/lean_ext/util/worker_queue.h
  392. lib/lean/leanpkg/README.md
  393. lib/lean/leanpkg/leanpkg.toml
  394. lib/lean/leanpkg/leanpkg/git.lean
  395. lib/lean/leanpkg/leanpkg/lean_version.lean
  396. lib/lean/leanpkg/leanpkg/main.lean
  397. lib/lean/leanpkg/leanpkg/manifest.lean
  398. lib/lean/leanpkg/leanpkg/proc.lean
  399. lib/lean/leanpkg/leanpkg/resolve.lean
  400. lib/lean/leanpkg/leanpkg/toml.lean
  401. lib/lean/library/data/buffer.lean
  402. lib/lean/library/data/buffer/parser.lean
  403. lib/lean/library/data/dlist.lean
  404. lib/lean/library/data/lazy_list.lean
  405. lib/lean/library/data/rbmap/default.lean
  406. lib/lean/library/data/rbtree/basic.lean
  407. lib/lean/library/data/rbtree/default.lean
  408. lib/lean/library/data/rbtree/find.lean
  409. lib/lean/library/data/rbtree/insert.lean
  410. lib/lean/library/data/rbtree/main.lean
  411. lib/lean/library/data/rbtree/min_max.lean
  412. lib/lean/library/data/stream.lean
  413. lib/lean/library/data/vector.lean
  414. lib/lean/library/init/algebra/classes.lean
  415. lib/lean/library/init/algebra/default.lean
  416. lib/lean/library/init/algebra/functions.lean
  417. lib/lean/library/init/algebra/order.lean
  418. lib/lean/library/init/cc_lemmas.lean
  419. lib/lean/library/init/classical.lean
  420. lib/lean/library/init/coe.lean
  421. lib/lean/library/init/control/alternative.lean
  422. lib/lean/library/init/control/applicative.lean
  423. lib/lean/library/init/control/combinators.lean
  424. lib/lean/library/init/control/default.lean
  425. lib/lean/library/init/control/except.lean
  426. lib/lean/library/init/control/functor.lean
  427. lib/lean/library/init/control/id.lean
  428. lib/lean/library/init/control/lawful.lean
  429. lib/lean/library/init/control/lift.lean
  430. lib/lean/library/init/control/monad.lean
  431. lib/lean/library/init/control/monad_fail.lean
  432. lib/lean/library/init/control/option.lean
  433. lib/lean/library/init/control/reader.lean
  434. lib/lean/library/init/control/state.lean
  435. lib/lean/library/init/core.lean
  436. lib/lean/library/init/data/array/basic.lean
  437. lib/lean/library/init/data/array/default.lean
  438. lib/lean/library/init/data/array/slice.lean
  439. lib/lean/library/init/data/basic.lean
  440. lib/lean/library/init/data/bool/basic.lean
  441. lib/lean/library/init/data/bool/default.lean
  442. lib/lean/library/init/data/bool/lemmas.lean
  443. lib/lean/library/init/data/char/basic.lean
  444. lib/lean/library/init/data/char/classes.lean
  445. lib/lean/library/init/data/char/default.lean
  446. lib/lean/library/init/data/char/lemmas.lean
  447. lib/lean/library/init/data/default.lean
  448. lib/lean/library/init/data/fin/basic.lean
  449. lib/lean/library/init/data/fin/default.lean
  450. lib/lean/library/init/data/fin/ops.lean
  451. lib/lean/library/init/data/int/basic.lean
  452. lib/lean/library/init/data/int/bitwise.lean
  453. lib/lean/library/init/data/int/comp_lemmas.lean
  454. lib/lean/library/init/data/int/default.lean
  455. lib/lean/library/init/data/int/order.lean
  456. lib/lean/library/init/data/list/basic.lean
  457. lib/lean/library/init/data/list/default.lean
  458. lib/lean/library/init/data/list/instances.lean
  459. lib/lean/library/init/data/list/lemmas.lean
  460. lib/lean/library/init/data/list/qsort.lean
  461. lib/lean/library/init/data/nat/basic.lean
  462. lib/lean/library/init/data/nat/bitwise.lean
  463. lib/lean/library/init/data/nat/default.lean
  464. lib/lean/library/init/data/nat/div.lean
  465. lib/lean/library/init/data/nat/gcd.lean
  466. lib/lean/library/init/data/nat/lemmas.lean
  467. lib/lean/library/init/data/option/basic.lean
  468. lib/lean/library/init/data/option/instances.lean
  469. lib/lean/library/init/data/ordering/basic.lean
  470. lib/lean/library/init/data/ordering/default.lean
  471. lib/lean/library/init/data/ordering/lemmas.lean
  472. lib/lean/library/init/data/prod.lean
  473. lib/lean/library/init/data/punit.lean
  474. lib/lean/library/init/data/quot.lean
  475. lib/lean/library/init/data/rbmap/basic.lean
  476. lib/lean/library/init/data/rbmap/default.lean
  477. lib/lean/library/init/data/rbtree/basic.lean
  478. lib/lean/library/init/data/rbtree/default.lean
  479. lib/lean/library/init/data/repr.lean
  480. lib/lean/library/init/data/set.lean
  481. lib/lean/library/init/data/setoid.lean
  482. lib/lean/library/init/data/sigma/basic.lean
  483. lib/lean/library/init/data/sigma/default.lean
  484. lib/lean/library/init/data/sigma/lex.lean
  485. lib/lean/library/init/data/string/basic.lean
  486. lib/lean/library/init/data/string/default.lean
  487. lib/lean/library/init/data/string/ops.lean
  488. lib/lean/library/init/data/subtype/basic.lean
  489. lib/lean/library/init/data/subtype/default.lean
  490. lib/lean/library/init/data/subtype/instances.lean
  491. lib/lean/library/init/data/sum/basic.lean
  492. lib/lean/library/init/data/sum/default.lean
  493. lib/lean/library/init/data/sum/instances.lean
  494. lib/lean/library/init/data/to_string.lean
  495. lib/lean/library/init/data/unsigned/basic.lean
  496. lib/lean/library/init/data/unsigned/default.lean
  497. lib/lean/library/init/data/unsigned/ops.lean
  498. lib/lean/library/init/default.lean
  499. lib/lean/library/init/function.lean
  500. lib/lean/library/init/funext.lean
  501. lib/lean/library/init/init.md
  502. lib/lean/library/init/ite_simp.lean
  503. lib/lean/library/init/logic.lean
  504. lib/lean/library/init/meta/ac_tactics.lean
  505. lib/lean/library/init/meta/async_tactic.lean
  506. lib/lean/library/init/meta/attribute.lean
  507. lib/lean/library/init/meta/backward.lean
  508. lib/lean/library/init/meta/case_tag.lean
  509. lib/lean/library/init/meta/comp_value_tactics.lean
  510. lib/lean/library/init/meta/congr_lemma.lean
  511. lib/lean/library/init/meta/congr_tactic.lean
  512. lib/lean/library/init/meta/constructor_tactic.lean
  513. lib/lean/library/init/meta/contradiction_tactic.lean
  514. lib/lean/library/init/meta/converter/conv.lean
  515. lib/lean/library/init/meta/converter/default.lean
  516. lib/lean/library/init/meta/converter/interactive.lean
  517. lib/lean/library/init/meta/decl_cmds.lean
  518. lib/lean/library/init/meta/declaration.lean
  519. lib/lean/library/init/meta/default.lean
  520. lib/lean/library/init/meta/derive.lean
  521. lib/lean/library/init/meta/environment.lean
  522. lib/lean/library/init/meta/exceptional.lean
  523. lib/lean/library/init/meta/expr.lean
  524. lib/lean/library/init/meta/expr_address.lean
  525. lib/lean/library/init/meta/float.lean
  526. lib/lean/library/init/meta/format.lean
  527. lib/lean/library/init/meta/fun_info.lean
  528. lib/lean/library/init/meta/has_reflect.lean
  529. lib/lean/library/init/meta/hole_command.lean
  530. lib/lean/library/init/meta/injection_tactic.lean
  531. lib/lean/library/init/meta/interaction_monad.lean
  532. lib/lean/library/init/meta/interactive.lean
  533. lib/lean/library/init/meta/interactive_base.lean
  534. lib/lean/library/init/meta/json.lean
  535. lib/lean/library/init/meta/lean/parser.lean
  536. lib/lean/library/init/meta/level.lean
  537. lib/lean/library/init/meta/local_context.lean
  538. lib/lean/library/init/meta/match_tactic.lean
  539. lib/lean/library/init/meta/mk_dec_eq_instance.lean
  540. lib/lean/library/init/meta/mk_has_reflect_instance.lean
  541. lib/lean/library/init/meta/mk_has_sizeof_instance.lean
  542. lib/lean/library/init/meta/mk_inhabited_instance.lean
  543. lib/lean/library/init/meta/module_info.lean
  544. lib/lean/library/init/meta/name.lean
  545. lib/lean/library/init/meta/occurrences.lean
  546. lib/lean/library/init/meta/options.lean
  547. lib/lean/library/init/meta/pexpr.lean
  548. lib/lean/library/init/meta/rb_map.lean
  549. lib/lean/library/init/meta/rec_util.lean
  550. lib/lean/library/init/meta/ref.lean
  551. lib/lean/library/init/meta/relation_tactics.lean
  552. lib/lean/library/init/meta/rewrite_tactic.lean
  553. lib/lean/library/init/meta/set_get_option_tactics.lean
  554. lib/lean/library/init/meta/simp_tactic.lean
  555. lib/lean/library/init/meta/smt/congruence_closure.lean
  556. lib/lean/library/init/meta/smt/default.lean
  557. lib/lean/library/init/meta/smt/ematch.lean
  558. lib/lean/library/init/meta/smt/interactive.lean
  559. lib/lean/library/init/meta/smt/rsimp.lean
  560. lib/lean/library/init/meta/smt/smt_tactic.lean
  561. lib/lean/library/init/meta/tactic.lean
  562. lib/lean/library/init/meta/tagged_format.lean
  563. lib/lean/library/init/meta/task.lean
  564. lib/lean/library/init/meta/type_context.lean
  565. lib/lean/library/init/meta/vm.lean
  566. lib/lean/library/init/meta/well_founded_tactics.lean
  567. lib/lean/library/init/meta/widget/basic.lean
  568. lib/lean/library/init/meta/widget/default.lean
  569. lib/lean/library/init/meta/widget/html_cmd.lean
  570. lib/lean/library/init/meta/widget/interactive_expr.lean
  571. lib/lean/library/init/meta/widget/replace_save_info.lean
  572. lib/lean/library/init/meta/widget/tactic_component.lean
  573. lib/lean/library/init/propext.lean
  574. lib/lean/library/init/util.lean
  575. lib/lean/library/init/version.lean
  576. lib/lean/library/init/wf.lean
  577. lib/lean/library/library.md
  578. lib/lean/library/smt/arith.lean
  579. lib/lean/library/smt/array.lean
  580. lib/lean/library/smt/default.lean
  581. lib/lean/library/smt/prove.lean
  582. lib/lean/library/system/io.lean
  583. lib/lean/library/system/io_interface.lean
  584. lib/lean/library/system/random.lean
  585. lib/lean/library/tools/debugger/cli.lean
  586. lib/lean/library/tools/debugger/default.lean
  587. lib/lean/library/tools/debugger/util.lean
  588. @owner
  589. @group
  590. @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: pkg install lean
PKGNAME: lean
Flavors: there is no flavor information for this port.
distinfo:
Packages: (move your mouse over the cells for more information)
lean
ABIlatestquarterly
FreeBSD:11:aarch643.4.13.4.2_1
FreeBSD:11:amd643.28.0_13.23.0
FreeBSD:11:armv6--
FreeBSD:11:i3863.28.0_13.23.0
FreeBSD:11:mips--
FreeBSD:11:mips64--
FreeBSD:12:aarch643.4.13.23.0
FreeBSD:12:amd643.28.0_13.23.0
FreeBSD:12:armv6-3.20.0
FreeBSD:12:armv7-3.20.0
FreeBSD:12:i3863.28.0_13.23.0
FreeBSD:12:mips--
FreeBSD:12:mips64--
FreeBSD:12:powerpc64-3.23.0
FreeBSD:13:aarch643.24.03.23.0
FreeBSD:13:amd643.28.0_13.23.0
FreeBSD:13:armv63.24.03.23.0
FreeBSD:13:armv73.24.03.23.0
FreeBSD:13:i3863.28.0_13.23.0
FreeBSD:13:mips--
FreeBSD:13:mips64--
FreeBSD:13:powerpc643.24.03.23.0
FreeBSD:14:aarch643.28.0_1-
FreeBSD:14:amd643.28.0_1-
FreeBSD:14:armv63.28.0-
FreeBSD:14:armv73.28.0-
FreeBSD:14:i3863.28.0_1-
FreeBSD:14:mips--
FreeBSD:14:mips64--
FreeBSD:14:powerpc643.27.0-
 

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

USES:

pkg-message:
If installing:
Master Sites:
Expand this list (1 items)
Collapse this list.
  1. https://codeload.github.com/leanprover-community/lean/tar.gz/v3.28.0?dummy=/
Collapse this list.

Number of commits found: 22

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
28 Mar 2021 05:01:13
Original commit files touched by this commit  3.28.0_1
Revision:569374
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>
16 Mar 2021 17:14:39
Original commit files touched by this commit  3.28.0
Revision:568590
yuri search for other commits by this committer
math/lean: Update 3.27.0 -> 3.28.0

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

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

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

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

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

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

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

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

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

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

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

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

Reported by:	portscout
21 Jul 2020 22:40:26
Original commit files touched by this commit  3.17.1
Revision:542813
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
26 Jul 2019 20:46:57
Original commit files touched by this commit  3.4.2_1
Revision:507372
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
12 Mar 2019 01:23:46
Original commit files touched by this commit  3.4.2
Revision:495410
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)
23 Jan 2019 09:59:55
Original commit files touched by this commit  3.4.2
Revision:491029
yuri search for other commits by this committer
math/lean: Update 3.4.1 -> 3.4.2

Reported by:	portscout
25 Dec 2018 20:25:40
Original commit files touched by this commit  3.4.1
Revision:488341
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
25 Jul 2018 20:16:37
Original commit files touched by this commit  3.4.1
Revision:475334
yuri search for other commits by this committer
math/lean: Add the PORTSCOUT line.

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

Number of commits found: 22

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
samba411Mar 28
samba412Mar 28
samba413Mar 28
linux-c7-nettleMar 27
nettleMar 27
opensslMar 26
spamassassinMar 24
giteaMar 23
giteaMar 21
dnsmasqMar 18
dnsmasq-develMar 18
gitlab-ceMar 18
minioMar 17
chromiumMar 16
libresslMar 16

12 vulnerabilities affecting 72 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities

Last updated:
2021-03-28 22:40:29


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 42809
Broken 73
Deprecated 286
Ignore 313
Forbidden 4
Restricted 137
No CDROM 71
Vulnerable 22
Expired 113
Set to expire 262
Interactive 0
new 24 hours 0
new 48 hours0
new 7 days0
new fortnight10
new month82

Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD
Valid HTML, CSS, and RSS.
Copyright © 2000-2021 Dan Langille. All rights reserved.