Maintenance of Lean’s mathlib and the Liquid tensor experiment

Slides

Date
September 2022
Event
EuroProofNet Workshop on the development, maintenance, refactoring and search of large libraries of proofs
Location
Tbilisi State University - Tbilisi