cyclist software on GitHub

Software OPEN SOURCE
  • Subject:
    arxiv: Mathematics::K-Theory and Homology | Computer Science::Logic in Computer Science | Computer Science::Mathematical Software
    acm: TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES | TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS

A cyclic theorem prover framework.
Share - Bookmark