According to our database1, Jonas Rädle authored at least 3 papers between 2017 and 2019.
Legend:Book In proceedings Article PhD thesis Other
Virtualization of HOL4 in Isabelle.
Proceedings of the 10th International Conference on Interactive Theorem Proving, 2019
Deriving generic class instances for datatypes.
Arch. Formal Proofs, 2018
Orbit-Stabiliser Theorem with Application to Rotational Symmetries.
Arch. Formal Proofs, 2017