Profiling Tools in Lean
Date:
Presented at Jasmin Blanchette’s group. Presented again at the Prospects of Formal Mathematics program at the Hausdorff Research Institute for Mathematics, Bonn, Germany.
Date:
Presented at Jasmin Blanchette’s group. Presented again at the Prospects of Formal Mathematics program at the Hausdorff Research Institute for Mathematics, Bonn, Germany.