add r-mathlib