GitHub repository: AthenaFoundation/athena
Primary language: Standard ML
Description: Athena is a modern, practical language for proof engineering & natural deduction.