Gray-Box Proving in Theorema

Wolfgang Windsteiger. Gray-Box Proving in Theorema. In 26th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2024, Timisoara, Romania, September 16-19, 2024. pages 82-89, IEEE, 2024. [doi]

Abstract

Abstract is missing.