GitHub repository: knisht/ars
Description: Formalization of Abstract Rewriting Systems in Arend