4 citations · 7 across the 6 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2022
Python client for Isabelle server
Boris Shminke
We contribute a Python client for the Isabelle server, which gives researchers and students using Python as their primary programming language an opportunity to communicate with th…
cs.LO2021★ 1 cited
Mining counterexamples for wide-signature algebras with an Isabelle server
Wesley Fussner, Boris Shminke
We propose an approach for searching for counterexamples of statements about algebraic structures with a medium-sized signature using the Isabelle proof assistant in an efficient,…