#metamath

Metamath 기반의 초심자 친화적 Proof Assistant, Starling 설계

Introducing Starling: A User-Friendly Proof Assistant