Development repository of a hammer for Lean. - View it on GitHub