Skip to content
Snippets Groups Projects

Complete proof of Abstract RTA

Merged Complete proof of Abstract RTA
sbozhko/rt-proofs:abstract_rta_merge into master
Merged Sergey Bozhko requested to merge sbozhko/rt-proofs:abstract_rta_merge into master