GitHub repository: nkatzz/Refactoring
Primary language: Scala
Description: Online Temporal Logical Learning