Jonas Rädle

According to our database, Jonas Rädle authored at least 4 papers between 2017 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2022

Engaging, Large-Scale Functional Programming Education in Physical and Virtual Space.

Kevin Kappelmann, Jonas Rädle, Lukas Stevens

Proceedings of the Proceedings Tenth and Eleventh International Workshop on Trends in Functional Programming In Education, 2022

2019

Virtualization of HOL4 in Isabelle.

Fabian Immler, Jonas Rädle, Makarius Wenzel

Proceedings of the 10th International Conference on Interactive Theorem Proving, 2019

2018

Deriving generic class instances for datatypes.

Jonas Rädle, Lars Hupel

Arch. Formal Proofs, 2018

2017

Orbit-Stabiliser Theorem with Application to Rotational Symmetries.

Jonas Rädle

Arch. Formal Proofs, 2017