To build and run:

lake build
cd build; mkdir debug; cd debug
cmake ../..
make -j
./main
./main2

Quick rebuild command from build/debug directory

pushd ../../; lake build; popd; make -j

Potentially set up LD_LIBRARY_PATH to have libleanshared.so available

export LD_LIBRARY_PATH=~/.elan/toolchains/leanprover--lean4---nightly/lib/lean