[package]
name = "mathlib"
version = "0.1.0"
source_root = "src"