arienmalec / mwe

Basic template project using Mathlib 4

Currently demonstrates build interaction issue between cache and linking.

Run ./scripts/setup.sh to demonstrate.