# 證明項

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



## [證明項](https://ocme.evemisslab.com/zh-Hant/atlas/atlas-proof-term/)

證明項是在固定形式環境與 context 中具有命題 P 型別，並可由 kernel 檢查的項 t。

atlas-proof-term · canonical_mko

[證明項](https://ocme.evemisslab.com/zh-Hant/mko/mko-lean-proof-term/)

## 前置節點


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