Convert Lean .olean files to s-expressions - View it on GitHub