2 search results for "author:"Maxime Dénès""

Showing 1 - 2
  1. vscoq-language-server

    No documentation

    Compatibility meta package for the VsRocq language server after the Rocq renaming
    Enrico Tassi Maxime Dénès Romain Tetley
    2.4.3
    MIT
    Used by 0 other packages
    16 Apr 2026
  2. vsrocq-language-server

    No documentation

    VSRocq language server
    Enrico Tassi Maxime Dénès Romain Tetley
    2.4.3+1
    MIT
    Used by 0 other packages
    05 Jun 2026