Timeline for At which level is it currently possible to write formal proofs?
Current License: CC BY-SA 4.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 28, 2022 at 9:34 | comment | added | Wojowu | You mention some "very near completion" with which I imagine you are referring to the Liquid Tensor Experiment he mentions. This project has now been fully completed! leanprover-community.github.io/blog/posts/lte-final | |
| Jul 28, 2022 at 9:26 | history | answered | Gro-Tsen | CC BY-SA 4.0 |