欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
jsoup: Java HTML 解析器,可直接解析某个URL地址、文件或字符串。它提供了一套非常方便的API,可通过DOM,CSS以及类似jQuery的操作方法来读取和操作数据。