Found 2 Documents (Results 1–2)
A formalization of Dedekind domains and class groups of global fields. (English) Zbl 1523.68167
Cohen, Liron (ed.) et al., 12th international conference on interactive theorem proving, ITP 2021, Rome, Italy, virtual conference, June 29 – July 1, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 193, Article 5, 19 p. (2021).
Filter Results by …
Document Type
- Journal Articles (1)
- Collection Articles (1)
Author
all
top 3
Software
- Gaussian_Integers (2)
- Isabelle/HOL (2)
- KANT/KASH (2)
- Lean (2)
- Metamath (2)
- Minkowskis_Theorem (2)
- PARI/GP (2)
- mathlib (2)
- Algebraic Numbers (1)
- Archive Formal Proofs (1)
- Coq (1)
- Isabelle (1)
- Mizar (1)