fb16dfecae
Commit b7f05445c0 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)
7 lines
429 B
Plaintext
7 lines
429 B
Plaintext
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.
|