Prototyping Controlled Mathematical Languages in Jupyter Notebooks

von Schaefer, Jan Frederik
Veröffentlicht in International Congress on Mathematical Software (7. : 2020 : Online) Mathematical software - ICMS 2020 (2020)

Logic-Independent Proof Search in Logical Frameworks (Short Paper)

von Kohlhase, Michael
Veröffentlicht in IJCAR (10. : 2020 : Online) Automated reasoning ; Part 1 (2020)