DMCA

A Meta-Model for the Isabelle API (2015)

by Frédéric Tuong , Burkhart Wolff