1 search result for "tag:"logpath:mathcomp.real_closed""

Showing 1 - 1
  1. coq-mathcomp-real-closed

    No documentation

    Mathematical Components Library on real closed fields
    keyword:real closed field logpath:mathcomp.real_closed date:2024-12-09
    Cyril Cohen Assia Mahboubi
    2.0.3
    CECILL-B
    Used by 5 other packages
    10 May 2025