Friday, June 30, 2017

[hlgakimw] Formal proof assistant

Apply machine learning to existing formal proofs to create a tool to provide assistance and suggestions to humans writing new formal proofs.

No comments :