A formal proof of the Ramanujan--Nagell theorem in Lean 4

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Banwait, Barinder S.
Format:	Preprint
Published:	2026
Subjects:	Number Theory Logic in Computer Science 11D61, 68V20 (primary), 11R04 (secondary)
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet

https://arxiv.org/abs/2604.09808