欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
httpbin:是一个使用 Python 和 Flask 开发的 HTTP 请求、响应服务。
$ pip install httpbin $ gunicorn httpbin:app 或者 $ python -m httpbin.core http://127.0.0.1:5000