Personal information

Countries

Austria

Activities

Collapse all

Works (1)

Learning Proof Transformations and Its Applications in Interactive Theorem Proving

2023 | Book chapter
DOI: 10.1007/978-3-031-43369-6_13
Contributors: Liao Zhang; Lasse Blaauwbroek; Cezary Kaliszyk; Josef Urban
Source: check_circle
Crossref
How many people are using ORCID?