欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
PostgreSQL Red Hat Edition
来自开放百科 - 灰狐
PostgreSQL - Red Hat Edition is an open source, object-relational database management system (ORDBMS). Tested and verified with Red Hat Linux, PostgreSQL - Red Hat Edition is a scalable, ACID-compliant data management solution for mid-sized businesses and enterprise workgroups.
分享您的观点