leanprover Exploited Vulnerabilities

Leanprover vulnerabilities known to be exploited. Over the past 365 days, sorted by exploit discovery date.