Skip to content

Commit

Permalink
remove redundant space (#1056)
Browse files Browse the repository at this point in the history
  • Loading branch information
madvorak authored Jan 21, 2025
1 parent 68a6284 commit bfcc12a
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion paper/automated.tex
Original file line number Diff line number Diff line change
Expand Up @@ -58,7 +58,7 @@ \subsection{Proof Techniques}
\subsection{Proof Reconstruction and Integration}
\label{sec:proof-reconstruction}

While ATPs are very useful to solve questions for this project, they generally don't integrate well with Lean .
While ATPs are very useful to solve questions for this project, they generally don't integrate well with Lean.
A bug in an ATP could lead to an unsound proof, or worse, an incorrect result.
To avoid having to trust ATP's large codebases, we take results found by the different provers and (re-)construct their proofs in Lean.

Expand Down

0 comments on commit bfcc12a

Please sign in to comment.