Thang Nguyen > Project > 

Formal abstract - FABS

Formal-abstract, Lean-prover

The Formal Abstracts project was initiated by Thomas Hales in 2017. See his talk Big conjectures from the Big Proof meeting in Cambridge.

A formal abstract, or fabstract for short, is a formalization of the main results (constructions, definitions, proofs, conjectures) of a piece of informal mathematics, such as a research paper. There is no requirement that the entire text be formalized. Proofs of statements are omitted. A formal abstract is not the formalization of the abstract itself.
Chairman: Thomas C. Hales, Professor
Members: Thang Long University, Pittsburgh University and Carnegie Mellon University
Previous: Deep Learning Project for Breast Cancer Screening
Next: Automatic student attendance using face recognition