Archives for https://en.wikipedia.org/wiki/Lean_(proof_assistant)
Page 1 out of 1
| Website image | URL of site archived | Date archived | Archive type |
 | https://en.wikipedia.org/wiki/Lean_(proof_assistant) | Wed, 14 Jan 2026 20:27:14 GMT | Archived webpage |