utp-main software on GitHub

Software OPEN SOURCE
  • Subject:
    acm: TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES | TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS

An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
Share - Bookmark