search

math-comp / trajectories

0 stars 4 forks source link

admits in three_circles + lint #13

Closed affeldt-aist closed 2 years ago

affeldt-aist commented 2 years ago

fyi @ybertot