grind
Kim Morrison (Lean Focused Research Organization)
Fri Jan 23, 13:00-13:30 (4 weeks ago)
Abstract: I'll give a quick introduction to Lean's powerful new automation `grind`, touching on library design, theorem search, diagnostics, and custom grind tactics.
logic in computer sciencemathematical softwareMathematics
Audience: researchers in the discipline
| Organizer: | Jireh Loreaux* |
| *contact for this listing |
Export talk to