| Name | Last modified | Size | |
|---|---|---|---|
 | Parent Directory | ||
 | Lean Theorem Proving_ Maximal Efficiency from Minimal Means - Bernhard Beckert, Joachim Posegga.pdf | 2022-02-22 06:15 | 297 KB |
| Name | Last modified | Size | |
|---|---|---|---|
| Parent Directory | ||
| Lean Theorem Proving_ Maximal Efficiency from Minimal Means - Bernhard Beckert, Joachim Posegga.pdf | 2022-02-22 06:15 | 297 KB |