https://prosa.mpi-sws.org/
https://gitlab.mpi-sws.org/RT-PROOFS/rt-proofs
https://doi.org/10.1007/978-3-030-25543-5_28
View/edit source (Markdown)