欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Webbot
来自开放百科 - 灰狐
Webbot - the Libwww Robot
The webbot is a very fast Web walker with support for regular expressions, SQL logging facilities, and many other features. The webbot comes with the libwww codebase. It can be used to check links, find bad HTML, map out a web site, download images, etc.
分享您的观点
