欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
SIMILE
来自开放百科 - 灰狐
您可以在Wikipedia上了解到此条目的英文信息 SIMILE Thanks, Wikipedia. |
SIMITLE: Semantic Interoperability of Metadata and Information in unLike Environments
SIMILE is focused on developing robust, open source tools that empower users to access, manage, visualize and reuse digital assets.
Projects
分享您的观点