1 search result for "author:"Julien Brunel""

Showing 1 - 1
  1. electrod

    No documentation

    Formal analysis for the Electrod formal pivot language
    David Chemouil Julien Brunel
    1.0.0
    MPL-2.0
    Used by 0 other packages
    11 Jan 2021