Lukas Stevens

According to our database, Lukas Stevens authored at least 7 papers between 2021 and 2023.

Collaborative distances:

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

2023

MLSS Decision Procedure.

Lukas Stevens

Arch. Formal Proofs, 2023

Towards a Verified Tableau Prover for a Quantifier-Free Fragment of Set Theory.

Lukas Stevens

Proceedings of the Automated Deduction - CADE 29, 2023

2022

Towards a Verified Prover for a Ground Fragment of Set Theory.

Lukas Stevens

CoRR, 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

A Linter for Isabelle: Implementation and Evaluation.

Yecine Megdiche, Fabian Huch, Lukas Stevens

CoRR, 2022

Verification of Query Optimization Algorithms.

Lukas Stevens, Bernhard Stöckl

Arch. Formal Proofs, 2022

2021

A Verified Decision Procedure for Orders in Isabelle/HOL.

Lukas Stevens, Tobias Nipkow

Proceedings of the Automated Technology for Verification and Analysis, 2021