Robuta

https://arend-lang.github.io/documentation/standard-tactics/meta.html