## Papers related to Isabelle theorem prover

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

Interesting papers

Notes:

Papers:

Papers:

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

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