Atur cara mengikut https://proost.sf.net

prOOst adalah sistem penyelewengan yang terbukti, yang membolehkan pengguna menyimpan maklumat yang terbukti dalam notasi OPM. Ia berdasarkan pangkalan data graf dan boleh diakses untuk pertanyaan dan menambah maklumat melalu