forked from Lainports/freebsd-ports
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
535 B
Text
7 lines
535 B
Text
Automatic theorem proving has a number of important applications, such as
|
|
software verification, hardware verification, hardware design, knowledge
|
|
representation and reasoning, the Semantic Web, algebra, and proving theorems
|
|
in mathematics. Over 50 years of research in theorem proving have resulted in
|
|
one of the most advanced and elegant theories in computer science. This area is
|
|
an ideal target for scientific engineering: implementation techniques have to be
|
|
developed to realise an advanced theory in practically valuable tools.
|