1 search result for "author:"Anton Trunov""

Showing 1 - 1
  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.2.0
    Apache-2.0
    Used by 4 other packages
    12 Jun 2025