GitHub repository: michal1mroz/SCOL_PROJECT
Primary language: Scala
Description: Implementation of HOL-0 subset in scala