collaborators

1 paper

cs.LO2026

A First Introduction to Isabelle/ML Metaprogramming: Automatic Estimation of Polynomial Degrees

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…