At a Glance
| Applications | Theorem Prover |
| Interfaces | CLI |
| Maintenance | Actively Maintained |
Description
SASyLF (pronounced “Sassy Elf”) is an LF-based proof assistant specialized to checking theorems about programming languages and logics.
| Applications | Theorem Prover |
| Interfaces | CLI |
| Maintenance | Actively Maintained |
SASyLF (pronounced “Sassy Elf”) is an LF-based proof assistant specialized to checking theorems about programming languages and logics.