Related Work

Interesting papers

Papers Authors Notes About

Isabelle theorem prover

[Google Scholar]

Notes:
Papers:

Papers related to Isabelle theorem prover

Lem: Reusable engineering of real-world semantics [mulligan:icfp:2014]

The opinions expressed are my own views and not my employer’s.