プログラム permdbms.sf.net

パーミは、このシステムのSQL言語に証明追跡機能を追加するPostgreSQLの拡張機能です。