Kolyang

From MaRDI portal
Person:4934537

Available identifiers

zbMath Open kolyang.MaRDI QIDQ4934537

List of research outcomes





PublicationDate of PublicationType
A structure preserving encoding of Z in Isabelle/HOL2024-07-05Paper
https://portal.mardi4nfdi.de/entity/Q49345392002-02-17Paper

Research outcomes over time

This page was built for person: Kolyang