An example Lean package using C-native implementations and plugins. Warning: personal experiment. Does not build with the main github.com/lean/lean4 repo.