5 citations · 7 across the 3 of their papers we have counts for
3 papers
OnlineProver: Experience with a Visualisation Tool for Teaching Formal Proofs
Ján Perháč, Samuel Novotný, Sergej Chodarev +4
OnlineProver is an interactive proof assistant tailored for the educational setting. Its main features include a user-friendly interface for editing and checking proofs. The user i…
pun: Fun with Properties; Towards a Programming Language With Built-in Facilities for Program Validation
Triera Gashi, Sophie Adeline Solheim Bosio, Joachim Tilsted Kristensen +1
Property-based testing is a powerful method to validate program correctness. It is, however, not widely use in industry as the barrier of entry can be very high. One of the hindran…
Jeopardy: An Invertible Functional Programming Language
Joachim Tilsted Kristensen, Robin Kaarsgaard, Michael Kirkedal Thomsen
Algorithms are ways of mapping problems to solutions. An algorithm is invertible precisely when this mapping is injective, such that the initial problem can be uniquely inferred fr…