欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Open Media Database
来自开放百科 - 灰狐
The Open Media Database (OpenDb) is an extremely flexible application to catalogue all sorts of things including DVD, VCD, CD, VHS, GAMES, BOOKS & Laser Discs. Anything that you can collect and lend, you can catalogue with this system. The OpenDb allows you to add new types, by describing them in system database tables designed for the purpose.
图集
分享您的观点