Program menurut https://proost.sf.net

prOOst adalah sistem penyimpanan pembuktian, yang memungkinkan pengguna untuk menyimpan informasi pembuktian mereka dalam notasi OPM. Ini didasarkan pada database grafik dan dapat diakses untuk kueri dan penambahan informasi