Repos by isabelle-utp

isabelle-utp / repos

22 repos

«123»
RepoLanguageStarsRank
isabelle-utp/utp-main on Githubutp-mainIsabelle3417
isabelle-utp/interaction-trees on Githubinteraction-treesIsabelle662
isabelle-utp/Optics on GithubOpticsIsabelle571
isabelle-utp/Z_Toolkit on GithubZ_ToolkitIsabelle569
isabelle-utp/Hybrid-Verification on GithubHybrid-VerificationIsabelle568
isabelle-utp/UTP on GithubUTPIsabelle485
isabelle-utp/Shallow-Expressions on GithubShallow-ExpressionsIsabelle3113
isabelle-utp/Isabelle-SACM on GithubIsabelle-SACMIsabelle3108
isabelle-utp/Hybrid-Library on GithubHybrid-LibraryTeX227,757
isabelle-utp/isabelle-quantity on Githubisabelle-quantityTeX227,574