GitHub repository: BenLubar/SASyLF
Primary language: Java
Description: SASyLF is an educational proof assistant for reasoning about programs, programming languages, and logics