The following pages link to (Q4413892):
Displayed 7 items.
- Four decades of {\textsc{Mizar}}. Foreword (Q286794) (← links)
- An example of formalizing recent mathematical results in MIZAR (Q865630) (← links)
- Methods of lemma extraction in natural deduction proofs (Q1945902) (← links)
- Arithmetic operations on short finite sequences (Q2311529) (← links)
- Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\) (Q2351415) (← links)
- Concatenation of finite sequences (Q2416850) (← links)
- Mizar: State-of-the-art and Beyond (Q3453119) (← links)