GitHub repository: rzk-lang/rzk-action
Description: GitHub Action to check formalisations using rzk proof assistant.