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