Implementations of sphnics minus in python and lean - View it on GitHub