# 證明助理中的形式陳述

[目錄呈現與來源綁定資料](https://ocme.evemisslab.com/data/i18n/catalogue.en.json)



## [證明助理中的形式陳述](https://ocme.evemisslab.com/zh-Hant/atlas/atlas-formal-statement/)

形式陳述是在固定版本、imports、環境與 local context 中成功 elaboration，且型別為 Prop 的核心項。

atlas-formal-statement · canonical_mko

[證明助理中的形式陳述](https://ocme.evemisslab.com/zh-Hant/mko/mko-lean-formal-statement/)

## 前置節點


- [命題](https://ocme.evemisslab.com/zh-Hant/atlas/atlas-proposition/)