GitHub repository: DeSch88/Next
Primary language: Haskell
Description: Next formalization