Matías Steinberg

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 5

Top Topics

Coloured Petri Nets

Formal Verification

Top Venues

Arch. Formal Proofs

Ann. Pure Appl. Log.

Publications

Emmanuel Gunther, Miguel Pagano, Pedro Sánchez Terraf, Matías Steinberg
The formal verification of the ctm approach to forcing. Ann. Pure Appl. Log. 175 (5) (2024)
Emmanuel Gunther, Miguel Pagano, Pedro Sánchez Terraf, Matías Steinberg
Transitive Models of Fragments of ZFC. Arch. Formal Proofs 2022 (2022)
Emmanuel Gunther, Miguel Pagano, Pedro Sánchez Terraf, Matías Steinberg
The Independence of the Continuum Hypothesis in Isabelle/ZF. Arch. Formal Proofs 2022 (2022)
Emmanuel Gunther, Miguel Pagano, Pedro Sánchez Terraf, Matías Steinberg
The formal verification of the ctm approach to forcing. CoRR (2022)
Santiago Arranz Olmos, Martín Fernández, Matías Steinberg, Alejandro Gadea, Emmanuel Gunther, Miguel Pagano
A formalisation of LEGv8 in Agda. SBLP (2020)