Mentions légales du service

Skip to content
  • jrh013's avatar
    Added a few additional theorems: · 22fb9b7f
    jrh013 authored
            BALL_UNION_SPHERE
            CBALL_DIFF_BALL
            CONNECTED_DIFF_BALL
            CONNECTED_DIFF_OPEN_FROM_CLOSED
            SPHERE_UNION_BALL
    
    To address some licensing issues pointed out by Hendrik Tews,
    made a couple of small changes to LICENSE/README files, and also
    deleted pa_j_3.04.ml pa_j_3.06.ml.
    22fb9b7f
This project is licensed under the BSD 2-Clause "Simplified" License. Learn more
Loading