Unofficial documentation for LeanMapper