欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Spring Insight 让你在应用运行时观察其性能和行为,这个工具很强悍,可关注。