Mentions légales du service

Skip to content
Blame History Permalink
  • 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