abella software on GitHub

Software OPEN SOURCE
  • Subject:
    acm: TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES | TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS
    arxiv: Computer Science::Computation and Language (Computational Linguistics and Natural Language and Speech Processing) | Computer Science::Programming Languages | Computer Science::Logic in Computer Science | Computer Science::Mathematical Software

An interactive theorem prover based on lambda-tree syntax
Share - Bookmark