Skip to content

Complete proof of Abstract RTA

Sergey Bozhkorequested to merge
sbozhko/rt-proofs:abstract_rta_merge into master

You can check a pdf-version of this here.

Edited by Sergey Bozhko

Merge request reports