Skip to content
GitLab
Projects Groups Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in / Register
L

logical relations

Projects with this topic

  • Sort by
  • Updated date
  • Last created
  • Name
  • Name, descending
  • Most stars
  • Oldest updated
  • Oldest created
  • Hide archived projects
  • Show archived projects
  • Show archived projects only
  • R

    Dan Frumin / ReLoC-v1

    OLD VERSION, SEE https://gitlab.mpi-sws.org/iris/reloc INSTEAD

    Topics: iris logical rela... coq
    1
    Updated Dec 29, 2022
    1 0 0 1
    Updated Dec 29, 2022