2 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.LO2022★ 1 cited
Holbert: Reading, Writing, Proving and Learning in the Browser
Liam O'Connor, Rayhana Amjad
This paper presents Holbert: a work-in-progress pedagogical proof assistant and online textbook platform, aimed at the educational use-case, specifically for the teaching of progra…
cs.PL2022★ 2 cited
Quickstrom: Property Based Acceptance Testing with LTL Specifications
Liam O'Connor, Oskar Wickström
We present Quickstrom, a property-based testing system for acceptance testing of interactive applications. Using Quickstrom, programmers can specify the behaviour of web applicatio…