The following pages link to (Q4413892):
Displaying 13 items.
- Four decades of {\textsc{Mizar}}. Foreword (Q286794) (← links)
- An example of formalizing recent mathematical results in MIZAR (Q865630) (← links)
- The role of the Mizar mathematical library for interactive proof development in Mizar (Q1663215) (← 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)
- Mathematical knowledge management in MIZAR (Q2767928) (← links)
- Logiweb (Q2847393) (← links)
- Mizar: State-of-the-art and Beyond (Q3453119) (← links)
- Licensing the Mizar Mathematical Library (Q5200114) (← links)
- Cooperative Repositories for Formal Proofs (Q5428272) (← links)
- Extended natural numbers and counters (Q6592311) (← links)