3 search results for "author:"Alexander Gryzlov""

Showing 1 - 3
  1. coq-fcsl-pcm

    No documentation

    Coq library of Partial Commutative Monoids
    category:Computer Science/Data Types and Data Structures keyword:partial commutative monoids keyword:separation logic keyword:concurrency logpath:pcm
    Aleksandar Nanevski Anton Trunov Alexander Gryzlov
    2.0.0
    Apache-2.0
    Used by 4 other packages
    18 Sep 2024
  2. coq-htt

    No documentation

    Hoare Type Theory
    category:Computer Science/Data Types and Data Structures keyword:partial commutative monoids keyword:separation logic logpath:htt
    Aleksandar Nanevski Germán Andrés Delbianco Alexander Gryzlov Marcos Grandury
    2.0.1
    Apache-2.0
    Used by 1 other packages
    07 Oct 2024
  3. coq-htt-core

    No documentation

    Hoare Type Theory
    category:Computer Science/Data Types and Data Structures keyword:partial commutative monoids keyword:separation logic logpath:htt
    Aleksandar Nanevski Germán Andrés Delbianco Alexander Gryzlov Marcos Grandury
    2.0.1
    Apache-2.0
    Used by 1 other packages
    07 Oct 2024