Skip to content

Complete proof of Abstract RTA

Sergey Bozhko requested 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