GitHub repository: neocastro/Formality
Description: An efficient proof language