A Survey of Languages for Formalizing Mathematics

Cezary Kaliszyk, Florian Rabe

Type: Preprint

Publication Date: 2020-05-26

Citations: 0

Locations

arXiv (Cornell University) - View

Similar Works

Action	Title	Year	Authors
+	A Survey of Languages for Formalizing Mathematics	2020	Cezary Kaliszyk Florian Rabe
+ PDF Chat	A Survey of Languages for Formalizing Mathematics	2020	Cezary Kaliszyk Florian Rabe
+	The Space of Mathematical Software Systems -- A Survey of Paradigmatic Systems	2020	Katja Berčič Jacques Carette William M. Farmer Michael Kohlhase Dennis Müller Florian Rabe Yasmine Sharoda
+	The Space of Mathematical Software Systems - A Survey of Paradigmatic Systems.	2020	Katja Berčič Jacques Carette William M. Farmer Michael Kohlhase Dennis Müller Florian Rabe Yasmine Sharoda
+ PDF Chat	Maintaining a Library of Formal Mathematics	2020	Floris van Doorn Gabriel Ebner Robert Y. Lewis
+	Formalizing Mathematics using the Lean Theorem Prover.	2016	Leonardo de Moura
+	Towards a Natural Representation of Mathematics in Proof Assistants	2007	Fulya Horazal J rg Siekmann Gert Smolka Chad E. Brown
+ PDF Chat	Formal Mathematical Reasoning: A New Frontier in AI	2024	Kaiyu Yang Gabriel Poesia Jingxuan He Wenda Li Kristin Lauter Swarat Chaudhuri Dawn Song
+ PDF Chat	Formalising Mathematics – in Praxis; A Mathematician’s First Experiences with Isabelle/HOL and the Why and How of Getting Started	2020	Angeliki Koutsoukou-Argyraki
+ PDF Chat	Natural Deduction Assistant (NaDeA)	2019	Jørgen Villadsen Asta Halkjær From Anders Schlichtkrull
+	Point-and-write --- Documenting Formal Mathematics by Reference	2012	Carst Tankink Christoph Lange Josef Urban
+	Point-and-write --- Documenting Formal Mathematics by Reference	2012	Carst Tankink Christoph Lange Josef Urban
+ PDF Chat	AI for Mathematics Mathematical Formalized Problem Solving and Theorem Proving in Different Fields in Lean4	2024	Xianhua Tang
+	Reusing Proofs in a Mathematical Library	2009	Ivan Noyer Renaud Rioboo
+	A New Approach Towards Autoformalization	2023	Nilay Patel Jeffrey Flanigan Rahul Saha
+	On Preserving the Computational Content of Mathematical Proofs: Toy Examples for a Formalising Strategy	2021	Angeliki Koutsoukou-Argyraki
+ PDF Chat	Beginners’ Quest to Formalize Mathematics: A Feasibility Study in Isabelle	2019	Jonas Bayer Marco David Abhik Pal Benedikt Stock
+	Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs	2022	Albert Q. Jiang Sean Welleck Jin Zhou Wenda Li Jiacheng Liu Mateja Jamnik Timothée Lacroix Yuhuai Wu Guillaume Lample
+	Engaging Mathematical Reasoning-and-Proving: A Task, a Method, and a Taxonomy.	2019	Unni Wathne Cornelia Brodahl
+ PDF Chat	The lean mathematical library	2020	The mathlib Community

Works That Cite This (0)

Action	Title	Year	Authors

Works Cited by This (9)

Action	Title	Year	Authors
+	Developments in Formal Proofs	2014	Thomas C. Hales
+	GAP	2007	Steve Linton
+ PDF Chat	Sharing HOL4 and HOL Light Proof Knowledge	2015	Thibault Gauthier Cezary Kaliszyk
+ PDF Chat	Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach	2016	Paul-Olivier Dehaye Mihnea Iancu Michael Kohlhase Alexander Konovalov Samuel Lelièvre Dennis Müller Markus Pfeiffer Florian Rabe Nicolas M. Thiéry Tom Wiesing
+ PDF Chat	Alignment-based Translations Across Formal Systems Using Interface Theories	2017	Dennis Müller Colin Rothgang Yufei Liu Florian Rabe
+ PDF Chat	First Experiments with Neural Translation of Informal to Formal Mathematics	2018	Qingxiang Wang Cezary Kaliszyk Josef Urban
+	NNexus Reloaded	2014	Deyan Ginev Joseph Corneli
+ PDF Chat	GF + MMT = GLF – From Language to Semantics through LF	2019	Michael Kohlhase Jan Schaefer
+ PDF Chat	Theorema 2.0: A System for Mathematical Theory Exploration	2014	Wolfgang Windsteiger