GitHub repository: katat/kimchi
Description: The proof systems used by Mina