# Can rustc prove this? \[ proposal \]

**URL:** <https://internals.rust-lang.org/t/can-rustc-prove-this-proposal/12443>\
**Category:** compiler\
**Created:** [May 27, 2020, 6:20pm UTC](https://internals.rust-lang.org/t/can-rustc-prove-this-proposal/12443 "2020-05-27T18:20:07Z")\
**Posts on this page:** 1\
**Showing post:** 24

<div class="post-metadata">

**Author:** ![milrope](https://avatars.discourse-cdn.com/v4/letter/m/d9b06d/32.png) [@milrope](https://internals.rust-lang.org/u/milrope)\
**Post date:** [May 29, 2020, 8:10am UTC](https://internals.rust-lang.org/t/can-rustc-prove-this-proposal/12443/24 "2020-05-29T08:10:51Z")

</div>

okay. I want a **neural network** that can read and write correct **English** and **Rust** code. And verify the implementation with the surrounding information.

Is this complicated? we now have a lot of peer reviewed rust code. So i think training a system isn't hard.

May be this can be implemented to a separate program. someone in the community needs do this.

may be the rust analyzer guys will do this.

I want this. no matter how hard this is.

---

_[View the full topic](https://internals.rust-lang.org/t/can-rustc-prove-this-proposal/12443)._