Jonas Rädle

Publication Activity (10 Years)

Years Active: 2017-2022
Publications (10 Years): 4

Top Topics

Functional Programming

Sequent Calculus

Higher Order Logic

Top Venues

Arch. Formal Proofs

Publications

Kevin Kappelmann, Jonas Rädle, Lukas Stevens
Engaging, Large-Scale Functional Programming Education in Physical and Virtual Space. TFPIE (2022)
Fabian Immler, Jonas Rädle, Makarius Wenzel
Virtualization of HOL4 in Isabelle. ITP (2019)
Jonas Rädle, Lars Hupel
Deriving generic class instances for datatypes. Arch. Formal Proofs 2018 (2018)
Jonas Rädle
Orbit-Stabiliser Theorem with Application to Rotational Symmetries. Arch. Formal Proofs 2017 (2017)