Skip to content

When constructing a theorem, parse the provided statement and compare it to the proof conclusion

Viktor Kuncak requested to merge github/fork/cache-nez/parse-thm-statement into main

Created by: cache-nez

Merge request reports