Skip to content
@Barbichu

Barbichu

Popular repositories Loading

  1. finmap finmap Public

    Forked from math-comp/finmap

    Finset and finmap library

    Coq 1

  2. newtonsums newtonsums Public

    Forked from math-comp/newtonsums

    Newton series transformation

    Coq

  3. signdet signdet Public

    Forked from CohenCyril/signdet

    Sign determination for CAD

    Coq

Repositories

Showing 3 of 3 repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…