A Computer Formalisation of the Serre Finiteness Theorem (accompanying formalisation)

Barton, Reid; Ljungström, Axel; Milner, Owen; Mörtberg, Anders

doi:10.4230/artifacts.26876

Artifact

A Computer Formalisation of the Serre Finiteness Theorem (accompanying formalisation) Software

Authors Reid Barton , Axel Ljungström , Owen Milner , Anders Mörtberg

Part of: Collection: Supplementary Materials
License: MIT License
Publication Date: 2026-07-09

Document Identifiers

DOI: 10.4230/artifacts.26876
URN: urn:nbn:de:0030-drops-268765

Author Details

Reid Barton

Department of Computer Science and Engineering, Chalmers University of Technology and University of Gothenburg, Sweden

Axel Ljungström

School of Computer Science, University of Nottingham, UK

Owen Milner

Department of Philosophy, Carnegie Mellon University, Pittsburgh, PA, USA

Anders Mörtberg

Department of Mathematics, Stockholm University, Sweden

Content

Software: https://github.com/CMU-HoTT/serre-finiteness
archived version

Version/Status

Content created at: 2022-06-22

Cite As Get BibTex

Reid Barton, Axel Ljungström, Owen Milner, Anders Mörtberg. A Computer Formalisation of the Serre Finiteness Theorem (accompanying formalisation) (Software). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026) https://doi.org/10.4230/artifacts.26876

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

Metadata

0

Downloads

Any Issues?

Feedback on the Current Page

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail