GitHub repository: mzhirko/subformulas-counter
Primary language: Java
Created: 2021-04-28T14:06:42Z
Description: Counts subformulas of a logic formula