欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Typica
来自开放百科 - 灰狐
typica: A Java client library for Amazon's SQS, EC2, SimpleDB and DevPay LS web services
License: Apache License 2.0
分享您的观点