5 citations · 8 across the 5 of their papers we have counts for
1 paper · 1 filter
Jonas Bayer, Anna Danilkin, Marco David +1
This article offers an introduction to metaprogramming in Isabelle/HOL for beginners, based on a running example for working with multivariate polynomials. The example is motivated…