欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
BibTeX
BibTeX 是一套用于管理文献、产生文献目录的格式,使用上通常与 LaTeX 一起使用。