Export Lean theorems to a relational representation and query them using Datalog - View it on GitHub