# [2021.07.05] A Complete Pipeline

Today, I finished a complete pipeline of a deep-learning automated
theorem prover. For now, it works with a neural network even worse
than without it. So, there is much space for improvement.